brick-lang/kekka

An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml

语言：OCaml · GitHub 星标：15 · Fork：0

话题：brick-lang · experimental · lambda-k · ocaml · type-checking · type-system

在 GitHub 上查看原仓库