Lambda calculus (refs + refinement types) to web assembly compiler with cool security guarantees.
Primary LanguageOCaml