jonsterling / agda-stc

Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.
16Updated 3 years ago

Related projects

Alternatives and complementary repositories for agda-stc