Skip to content

No labels!

There aren’t any labels for this repository quite yet.

agda-maintenance
agda-maintenance
bug
bug
Something isn't working
command-option
command-option
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
file-management
file-management
git-management
git-management
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
package-index
package-index
question
question
Further information is requested
wontfix
wontfix
This will not be worked on