Forall.js: Idris-like static types and invariant checks for JavaScriptgithub.com/maiavictor63 pointsLightMachine9 years ago