• Groups
• org.idris-lang
• idris

Artifact 'org.idris-lang:idris'

Metadata Dir

Versions

Version	Type	Date
0.9.9	release	Oct 2015
0.9.8.1	release	Oct 2015
0.9.14	release	Oct 2015
0.9.10-alpha-2	alpha	Oct 2015
0.9.10-alpha-1	alpha	Oct 2015