lambda-11235/ttyped

A simple dependently typed language based on the Calculus of Constructions.

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

话题：calculus-of-constructions · intuitionistic · martin-lof · type-theory

在 GitHub 上查看原仓库