Hacker News
- Idris 2 version 0.6.0 Released https://www.idris-lang.org/idris-2-version-060-released.html 6 comments
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
Related searches:
Search whole site: site:idris-lang.org
Search title: Idris 2 version 0.6.0 Released
See how to search.