core-language topic
List
core-language repositories
agda-core
59
Stars
3
Forks
59
Watchers
A work-in-progress core language for Agda, in Agda
