Revision as of 23:26, 31 July 2013 edit LambdaTotoro (talk \| contribs) 74 edits working in release 0.9.9, switching arguments in Vect type ← Previous edit		Revision as of 13:16, 28 November 2013 edit undo LambdaTotoro (talk \| contribs) 74 edits m updated version release Next edit →
Line 5: \| designer = Edwin Brady \| developer = \| latest_release_version = 0.9.910 \| latest_release_date = {{release_date\|2013\|0711\|3128}} \| latest_test_version = \| latest_test_date =

Idris (programming language): Difference between revisions