Idris (programming language): Difference between revisions

Content deleted Content added
Rexlen (talk | contribs)
mNo edit summary
Cofunctor (talk | contribs)
m latest release modified.
Line 5:
| designer = Edwin Brady
| developer =
| latest_release_version = 0.9.1718
| latest_release_date = {{release_date|2015|0305|2117}}
| latest_test_version =
| latest_test_date =