Revision as of 14:57, 1 July 2014 edit Soimort (talk \| contribs) 92 edits No edit summary ← Previous edit		Revision as of 20:24, 16 July 2014 edit undo Soimort (talk \| contribs) 92 edits Idris 0.9.14 released Next edit →
Line 5: \| designer = Edwin Brady \| developer = \| latest_release_version = 0.9.~~13.1~~14 \| latest_release_date = {{release_date\|2014\|67\|916}} \| latest_test_version = \| latest_test_date =

Idris (programming language): Difference between revisions