Skip to content

No labels!

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

42 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
status: blocked-by-issue
status: blocked-by-issue
Progress on this issue or PR is blocked by another issue.
10
status: duplicate
status: duplicate
The main contents of the issue or PR already exists in another issue or PR.
status: info needed
status: info needed
status: invalid
status: invalid
status: won't-fix
status: won't-fix
1
status: won't-merge
status: won't-merge
Decided against merging the PR in.
style-guide
style-guide
1
tactics
tactics
6
task
task
20
test
test
2
upstream
upstream
Changes induced by Agda upstream
10
without-K
without-K