Idris (programming language): Difference between revisions

Content deleted Content added
m removed extra comma
Rexlen (talk | contribs)
mNo edit summary
Line 5:
| designer = Edwin Brady
| developer =
| latest_release_version = 0.9.1617
| latest_release_date = {{release_date|2015|0103|1521}}
| latest_test_version =
| latest_test_date =