chrrasmussen/Idris2-Erlang

Erlang code generator for Idris 2

98 best points · 13 comments · 1 Hacker News post · 149 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Erlang code generator for Idris 2 (98 points, 13 comments, by Zigma, 2020-09-28)