Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Erlang code generator for Idris 2
github.com/chrrasmussen
98 points
Zigma
6 years ago
13 comments
Loading...
Show HN: Erlang code generator for Idris 2 | Heykuki News