Revision as of 16:12, 2 April 2014 edit 213.216.142.12 (talk) Disambiguate Agda link. ← Previous edit		Revision as of 00:21, 5 April 2014 edit undo LambdaTotoro (talk \| contribs) 74 edits m Updated version number Next edit →
Line 5: \| designer = Edwin Brady \| developer = \| latest_release_version = 0.9.1112 \| latest_release_date = {{release_date\|2014\|24\|04}} \| latest_test_version = \| latest_test_date =

Idris (programming language): Difference between revisions