mietek / agda-introLinks

Mirror of Conor McBride’s 2011 Agda course materials
12Updated 6 years ago

Alternatives and similar repositories for agda-intro

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

Sorting: