Nearly zero runtime object allocation powered by scalameta. Value class ...
Specification of the Formality proof and programming language