Hacker News
- Idris 2 version 0.3.0 https://www.idris-lang.org/idris-2-version-030-released.html 2 comments
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 2 comments
Lobsters
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 2 comments compilers , release
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 6 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.3.0 Released
See how to search.