Idris (programming language): Difference between revisions

Content deleted Content added
Replaced "Currently" with "As of..."
Soimort (talk | contribs)
m 0.9.15.1
Line 5:
| designer = Edwin Brady
| developer =
| latest_release_version = 0.9.1415.1
| latest_release_date = {{release_date|2014|710|1626}}
| latest_test_version =
| latest_test_date =