CakeML / pure

A verified compiler for a lazy functional language
32Updated last month

Related projects

Alternatives and complementary repositories for pure