Versions

Description

Idris 中文文档

Repository

https://github.com/Idris-zh/Idris-dev

Project Slug

idris-zh

Last Built

8 months, 1 week ago passed

Maintainers

Home Page

https://github.com/Idris-zh

Badge

Tags

chinese, idris

Project Privacy Level

Public

Short URLs

idris-zh.readthedocs.io
idris-zh.rtfd.io

Default Version

latest

'latest' Version

master