Skip to content

No labels!

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

13 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
algebra
algebra
For issues/pull requests relating to the Algebra.* namespace
2
bug
bug
Something isn't working
1
category-theory
category-theory
For issues/pull requests relating to the Cat.* namespace
12
dualization
dualization
This issue/pull request refers to implementing duals of a pre-existing construction
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
13
good first issue
good first issue
Good for newcomers
4
help wanted
help wanted
Extra attention is needed
2
invalid
invalid
This doesn't seem right
question
question
Further information is requested
type-theory
type-theory
For issues/pull requests relating to the 1Lab.* namespace
web
web
For issues/pull requests relating to the 1lab website itself.
4
wontfix
wontfix
This will not be worked on