Lobsters
- Idris 2 version 0.1.0 Released https://www.idris-lang.org/idris-2-version-010-released.html 4 comments formalmethods
Linked pages
- Racket https://racket-lang.org/ 476 comments
- GitHub - edwinb/Idris2: A purely functional programming language with first class types https://github.com/edwinb/Idris2 15 comments
- rlwrap(1) - Linux man page http://linux.die.net/man/1/rlwrap 6 comments
- 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
- Changes since Idris 1 — Idris2 0.0 documentation https://idris2.readthedocs.io/en/latest/updates/updates.html 0 comments
- (chez (chez scheme)) https://www.scheme.com/ 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.1.0 Released
See how to search.