pigworker / Ohrid-Agda

being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017
9Updated 7 years ago

Alternatives and similar repositories for Ohrid-Agda:

Users that are interested in Ohrid-Agda are comparing it to the libraries listed below