G github.com Forall.js: Idris-like static types and invariant checks for JavaScript 63 points LightMachine 9 years ago 17 comments
