It aims to be: Fast: no garbage-collection, optimal beta-reduction, massively parallel compilers. Secure: a powerful type system capable of proving mathematical theorems. Portable: the entire language desugars to a 500 lines core type-theory.
Last modified 16 December 2024