Repository
https://github.com/running-grass/Idris-dev.git
Project Slug
idris-dev
Last Built
1 year, 8 months ago
passed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/idris-dev/badge/?version=latest
:target: https://idris-dev.readthedocs.io/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://idris-dev.readthedocs.io/?badge=latest)
-
HTML
<a href='https://idris-dev.readthedocs.io/?badge=latest'>
<img src='https://readthedocs.org/projects/idris-dev/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
haskell,
idris,
transtion
Short URLs
idris-dev.readthedocs.io
idris-dev.rtfd.io
Default Version
latest
'latest' Version
master
