Revision as of 18:58, 19 June 2021 edit Akeosnhaoe (talk \| contribs) Extended confirmed users 3,615 edits No edit summary Tag: Visual edit ← Previous edit		Revision as of 16:33, 28 June 2021 edit undo Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits release 0.4.0 Next edit →
Line 9: \| latest_release_version = 1.3.3<ref>{{cite web\|title=Release 1.3.3\|url=https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.3/\|access-date=2020-05-25}}</ref> \| latest_release_date = {{Start date and age\|2020\|05\|24}} \| latest_test_version = 0.34.0 (Idris 2)<ref>{{Cite web\|title=Idris 2 version 0.34.0 Released\|url=https://www.idris-lang.org/idris-2-version-~~030~~040-released.html\|access-date=2021-0306-1728\|website=www.idris-lang.org}}</ref> \| latest_test_date = {{Start date and age\|2021\|0106\|1323}} \| typing = \| implementations =

Idris (programming language): Difference between revisions