Revision as of 13:18, 28 November 2013 edit LambdaTotoro (talk \| contribs) 74 edits m ordered influences ← Previous edit		Revision as of 17:52, 6 February 2014 edit undo LambdaTotoro (talk \| contribs) 74 edits m updated version release Next edit →
Line 5: \| designer = Edwin Brady \| developer = \| latest_release_version = 0.9.1011 \| latest_release_date = {{release_date\|~~2013~~2014\|112\|2804}} \| latest_test_version = \| latest_test_date =

Idris (programming language): Difference between revisions