Revision as of 00:28, 15 September 2019 edit 50.53.21.2 (talk) 2011 ← Previous edit		Revision as of 00:29, 15 September 2019 edit undo 50.53.21.2 (talk) 2009 Next edit →
Line 6: \| designer = Edwin Brady \| developer = \| released = {{Start date and age\|~~2011~~2009}} \| latest_release_version = 1.3.2<ref>{{cite web\|title=Idris 1.3.2 released\|url=https://www.idris-lang.org/idris-1-3-2-released/\|accessdate=2019-07-22}}</ref> \| latest_release_date = {{Start date and age\|2019\|07\|22}}

Idris (programming language): Difference between revisions