UlfNorell / agda-prelude

Programming library for Agda
126Updated 6 months ago

Alternatives and similar repositories for agda-prelude:

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