calculus-of-constructions

There are 4 repositories under calculus-of-constructions topic.

lambda-11235/ttyped
A simple dependently typed language based on the Calculus of Constructions.
Language:Haskell141
AnyDSL/thorin2-experiment
The Higher-Order Intermediate Representation
Language:C++11 9 00
justinfargnoli/koi
Compiler for the Calculus of Inductive Constructions
Language:Rust3 1 01
bridgekat/calculus-of-constructions
Lean 3 formalisation of bare-bones CC_ω.
Language:Lean0 1 00