lambda-k

There are 0 repository under lambda-k topic.

brick-lang / kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
lambda-k ocaml brick-lang type-system type-checking experimental
Language:OCaml 14

brick-lang / kekka