Idris (programming language): Difference between revisions

Content deleted Content added
grammar
Soimort (talk | contribs)
No edit summary
Line 5:
| designer = Edwin Brady
| developer =
| latest_release_version = 0.9.1213.1
| latest_release_date = {{release_date|2014|46|049}}
| latest_test_version =
| latest_test_date =