christian-public/Idris2-Erlang

Erlang code generator for Idris 2

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2020-09-28 · latest 2020-11-06

Mentions per year 3 mentions · busiest year 2020 (3)

20082026

All Stories Comments Newest Top Oldest

Maybe also add Idris? https://github.com/chrrasmussen/Idris2-Erlang
comment by flubert · 2020-11-06 · in Why Typing Erlang is Hard: Standard Erlang
…You can see an overview of the different intermediate representations here: https://github.com/chrrasmussen/Idris2-Erlang/blob/master/do... (Note that ErlExpr and AbstractFormat is specific to the Erlang code generator) If you have mo
comment by Zigma · 2020-09-28 · in Show HN: Erlang code generator for Idris 2