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