Versions

Repository

https://github.com/edwinb/Idris2.git

Project Slug

idris2

Last Built

23 hours, 10 minutes ago passed

Maintainers

Badge

Tags

Project has no tags.

Project Privacy Level

Public

Short URLs

idris2.readthedocs.io
idris2.rtfd.io

Default Version

latest

'latest' Version

master