scmu / foundations-harperLinks

Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
54Updated 5 years ago

Alternatives and similar repositories for foundations-harper

Users that are interested in foundations-harper are comparing it to the libraries listed below

Sorting: