Lobsters
- Idris 2 version 0.2.0 Released https://www.idris-lang.org/idris-2-version-020-released.html 7 comments compilers , release
- Idris2 v0.2.0 Released https://www.idris-lang.org/idris-2-version-020-released.html 3 comments idris
Linked pages
- Idris - News https://www.idris-lang.org/category/news.html 4 comments
- Getting Started — Idris2 0.0 documentation https://idris2.readthedocs.io/en/latest/tutorial/starting.html#the-interactive-environment 1 comment
- GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/idris-lang/Idris2/ 0 comments
- Changes since Idris 1 — Idris2 0.0 documentation https://idris2.readthedocs.io/en/latest/updates/updates.html 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:idris-lang.org
Search title: Idris 2 version 0.2.0 Released
See how to search.