brick-lang / kekka

An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
14Updated 3 years ago

Related projects

Alternatives and complementary repositories for kekka