Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
New JavaScript code generator in Idris 2
github.com/idris-lang
164 points
ska80
6 years ago
27 comments
Loading...
New JavaScript code generator in Idris 2 | Heykuki News