RedPRL/algaett

🦠 An experimental elaborator for dependent type theory using effects and handlers

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

话题：algebraic-effects · normalization-by-evaluation · ocaml · ocaml-program · proof-assistant · type-theory

在 GitHub 上查看原仓库