ionathanch/TT-model
A logical relations model of a minimal type theory with universes mechanized in Agda.
Agda
No issues in this repository yet.
A logical relations model of a minimal type theory with universes mechanized in Agda.
Agda
No issues in this repository yet.