← All repos

christian-public/Idris2-Erlang

View on GitHub ↗ ★ 149 Idris

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