Repository

https://github.com/idris-lang/Idris2.git

Project Slug

idris2

Last Built

3 hours, 38 minutes ago passed

Maintainers

Badge

Tags

Project has no tags.

Short URLs

idris2.readthedocs.io
idris2.rtfd.io

Default Version

latest

'latest' Version

master