Idris (programming language): Difference between revisions

Revision as of 01:42, 15 December 2022

Revision as of 00:26, 31 December 2022

Line 10:

| 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.56.10 (Idris 2)<ref>{{Cite web|title=Idris 2 version 0.56.10 Released|url=https://www.idris-lang.org/idris-2-version-051060-released.html|access-date=20212022-1012-1631|website=www.idris-lang.org}}</ref>

| latest_test_date = {{Start date and age|20212022|0910|2028}}

| typing =

| implementations =