Hacker News
Lobsters
- Idris 2 version 0.2.1 Released https://www.idris-lang.org/idris-2-version-021-released.html 8 comments plt , release
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.1 Released
See how to search.