Content deleted Content added
m Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software)) using DisamAssist. |
Citation bot (talk | contribs) Added website. | Use this bot. Report bugs. | Suggested by Spinixster | Category:Cross-platform free software | #UCB_Category 405/433 |
||
Line 7:
| 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 |archive-url=https://web.archive.org/web/20080320233322/http://www-fp.cs.st-and.ac.uk/~eb/darcs/Idris/ |archive-date=2008-03-20 |df=dmy}}</ref>
| latest release version = 1.3.4<ref>{{cite web |title=Release 1.3.4 |website=[[GitHub]] |url=https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.4 |access-date=2022-12-31}}</ref>
| latest release date = {{Start date and age|2021|10|22}}
| latest preview version = 0.6.0 (Idris 2)<ref>{{Cite web |title=Idris 2 version 0.6.0 Released |url=https://www.idris-lang.org/idris-2-version-060-released.html |access-date=2022-12-31 |website=www.idris-lang.org}}</ref>
|