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