Repository
https://github.com/idris-lang/Idris-dev
Project Slug
idris
Last Built
3 months, 2 weeks ago
failed
Maintainers
Home Page
http://www.idris-lang.org/
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/idris/badge/?version=latest
:target: http://docs.idris-lang.org/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](http://docs.idris-lang.org/en/latest/?badge=latest)
-
HTML
<a href='http://docs.idris-lang.org/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/idris/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
Project has no tags.
Short URLs
idris.readthedocs.io
idris.rtfd.io
Default Version
latest
'latest' Version
master
