andreasabel / proposal-agda-tutorial

Proposal for an Agda tutorial
11Updated 6 years ago

Alternatives and similar repositories for proposal-agda-tutorial:

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