Revision as of 10:44, 23 January 2015 edit Matěj Grabovský (talk \| contribs) Extended confirmed users 1,279 edits +→See also: Total functional programming ← Previous edit		Revision as of 15:50, 23 January 2015 edit undo Soimort (talk \| contribs) 92 edits version 0.9.16 Next edit →
Line 5: \| designer = Edwin Brady \| developer = \| latest_release_version = 0.9.~~15.1~~16 \| latest_release_date = {{release_date\|~~2014~~2015\|1001\|2615}} \| latest_test_version = \| latest_test_date =

Idris (programming language): Difference between revisions