Repository
https://github.com/running-grass/Idris2.git
Project Slug
idris2-cn
Last Built
1 year, 7 months ago
passed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/idris2-cn/badge/?version=main
:target: https://idris2.doc.grass.show/?badge=main
:alt: Documentation Status
-
Markdown
[![Documentation Status](https://readthedocs.org/projects/idris2-cn/badge/?version=main)](https://idris2.doc.grass.show/?badge=main)
-
HTML
<a href='https://idris2.doc.grass.show/?badge=main'>
<img src='https://readthedocs.org/projects/idris2-cn/badge/?version=main' alt='Documentation Status' />
</a>
Tags
Project has no tags.
Short URLs
idris2-cn.readthedocs.io
idris2-cn.rtfd.io
Default Version
main
'latest' Version
main