jonsterling / agda-stcLinks

Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.
19Updated 4 years ago

Alternatives and similar repositories for agda-stc

Users that are interested in agda-stc are comparing it to the libraries listed below

Sorting: