Revision as of 16:33, 28 June 2021 edit Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits release 0.4.0 ← Previous edit		Revision as of 01:30, 16 October 2021 edit undo Clayrat (talk \| contribs) 81 edits No edit summary 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.45.01 (Idris 2)<ref>{{Cite web\|title=Idris 2 version 0.45.01 Released\|url=https://www.idris-lang.org/idris-2-version-~~040~~051-released.html\|access-date=2021-0610-2816\|website=www.idris-lang.org}}</ref> \| latest_test_date = {{Start date and age\|2021\|0609\|2320}} \| typing = \| implementations =

Idris (programming language): Difference between revisions