Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
Idris-zh
ZH-CN
Idris 中文文档
chinese
idris
Maintainers
Repository
https://github.com/Idris-zh/Idris-dev
Versions
1
Builds
60
Version
All versions
Privacy
Any
Public versions
Private versions
Visibility
Any
Hidden versions
Visible versions
Sort by
Recently built
Least recently built
Frequently built
Least frequently built
Name
Name (descending)
latest
Last built 5 years, 1 month ago
Default
Idris-zh
#8846050
Idris-zh #8846050
5 years, 1 month ago
456fc641
84 seconds
Offline formats
PDF file
ePUB file
HTML archive