qexat-archive/over-the-type

Various experimentations at the edge of OCaml's type system

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

话题：equality · gadt · leibniz · martin-lof · proof · type-system

在 GitHub 上查看原仓库