AHartNtkn/IotaTT

A PTS Supporting Induction

语言：Haskell · GitHub 星标：10 · Fork：1

话题：dependent-intersections · dependent-types · implicit-products · induction · language · type-theory

在 GitHub 上查看原仓库