CakeML / pure

A verified compiler for a lazy functional language
31Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for pure