Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Forall.js: Idris-like static types and invariant checks for JavaScript
github.com/maiavictor
63 points
LightMachine
9 years ago
17 comments
Loading...
Forall.js: Idris-like static types and invariant checks for JavaScript | Heykuki News