HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Zigma
70 karma · joined May 22, 2011
submissions
comments
Show HN: Erlang code generator for Idris 2
github.com
·
98 pts
·
Zigma
·
13