umazalakain / agda-bcamLinks

Tutorial series introducing Agda to the people at BCAM
26Updated 3 years ago

Alternatives and similar repositories for agda-bcam

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

Sorting: