Repository

https://github.com/idris-lang/Idris-dev

Project Slug

idris

Last Built

1 week, 5 days ago passed

Maintainers

Home Page

http://www.idris-lang.org/

Badge

Tags

Project has no tags.

Project Privacy Level

Public

Short URLs

idris.readthedocs.io
idris.rtfd.io

Default Version

latest

'latest' Version

master