A repository for organizing the Agda GitHub organization itself.
Discussions can be initiated as issue.
There is a list of the repositories in the organization and the people responsible for each on the wiki.
-
Notifications
You must be signed in to change notification settings - Fork 0
agda/organization
About
The Agda organization itself
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published