jespercockx / agda-coreLinks

A work-in-progress core language for Agda, in Agda
52Updated last month

Alternatives and similar repositories for agda-core

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

Sorting: