Idris (programming language): Difference between revisions

Revision as of 00:29, 15 September 2019

Revision as of 01:08, 15 September 2019

Line 6:

| designer = Edwin Brady

| developer =

| released = {{Start date and age|2007}}<ref>{{cite web |last=Brady |first=Edwin |date=2007-12-12 |title=Index of /~eb/darcs/Idris |url=http://www-fp.cs.st-and.ac.uk/~eb/darcs/Idris/ |website=[[University of St Andrews]] School of Computer Science |archiveurl=https://web.archive.org/web/20080320233322/http://www-fp.cs.st-and.ac.uk/~eb/darcs/Idris/ |archivedate=2008-03-20 |df=dmy}}</ref>

| released = {{Start date and age|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}}

Line 122:

[[Category:Free compilers and interpreters]]

[[Category:Software using the BSD license]]

[[Category:Programming languages created in 20092007]]

[[Category:High-level programming languages]]

[[Category:20092007 software]]

[[Category:Pattern matching programming languages]]