A Crash Course in Idris 2 — Idris2 0.0 documentation - discu.eu

Reddit

Idris perspective from Haskellers https://idris2.readthedocs.io/en/latest/tutorial/index.html 26 comments 3/10/2023 haskell

Idris2 crash course errors https://idris2.readthedocs.io/en/latest/tutorial/index.html 2 comments 17/7/2020 idris

Linking pages

GitHub - chrrasmussen/Idris2-Erlang: Erlang code generator for Idris 2 https://github.com/chrrasmussen/Idris2-Erlang 14 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:idris2.readthedocs.io

Search title: A Crash Course in Idris 2 — Idris2 0.0 documentation

See how to search.

Submit link to: