funcional-programming topic

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

vitorsvieira

Specification of the Formality proof and programming language

Soonad