| Maintainers: | |
| jwiegley: agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.standard-library | |
| turion: agdaPackages.generic, agdaPackages.agda-categories, agdaPackages.standard-library, agdaPackages.agda-categories, agdaPackages.agda-categories, agdaPackages.generic, agdaPackages.generic, agdaPackages.generic, agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.agda-categories, agdaPackages.standard-library | |
| alexarice: agdaPackages.generic, agdaPackages.agda-categories, agdaPackages.standard-library, agdaPackages.agda-categories, agdaPackages.agda-categories, agdaPackages.generic, agdaPackages.generic, agdaPackages.generic, agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.agda-categories, agdaPackages.standard-library | |
| lamudri: agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.standard-library, agdaPackages.standard-library |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment