jozefg/blott

An experimental type checker for a modal dependent type theory.

语言：OCaml · GitHub 星标：123 · Fork：1

在 GitHub 上查看原仓库