mattia-furlan/MasterThesisCTT

Haskell implementation of a version of cubical type theory developed for my master thesis

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

在 GitHub 上查看原仓库