Hacker News
- Show HN: Erlang code generator for Idris 2 https://github.com/chrrasmussen/Idris2-Erlang 13 comments
Linking pages
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- MSYS2 https://www.msys2.org/ 80 comments
- A Crash Course in Idris 2 — Idris2 0.0 documentation https://idris2.readthedocs.io/en/latest/tutorial/index.html 34 comments
- Chez Scheme https://cisco.github.io/ChezScheme/ 4 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
- GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/idris-lang/Idris2/ 0 comments
- Downloads - Erlang/OTP http://www.erlang.org/downloads 0 comments
Would you like to stay up to date with Erlang & Elixir? Checkout Erlang & Elixir
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - chrrasmussen/Idris2-Erlang: Erlang code generator for Idris 2
See how to search.