jespercockx / agda-core

A work-in-progress core language for Agda, in Agda
48Updated 2 weeks ago

Alternatives and similar repositories for agda-core:

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