Forall.js: Idris-like static types and invariant checks for JavaScript

forall – Expressive static types and invariant checks for JavaScript. Read more

Similar