maiavictor/forall

Expressive static types and invariant checks for JavaScript.

63 best points · 17 comments · 1 Hacker News post · 227 GitHub stars · View on GitHub

Hacker News discussions

• Forall.js: Idris-like static types and invariant checks for JavaScript (63 points, 17 comments, by LightMachine, 2017-04-21)