Skip to content

No labels!

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

28 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
accessibility
accessibility
Relates to accessibility.
6
agda
agda
Relates to the Agda code in the book.
7
blocked-upstream
blocked-upstream
Issues which are blocked on upstream dependencies.
bug
bug
Something is broken.
6
build
build
Relates to the build system.
4
citation-needed
citation-needed
Suggests a missing or incorrect citation.
2
clarification-needed
clarification-needed
Relates to the clarity of the text.
4
dependencies
dependencies
Pull requests that update a dependency file.
1
documentation
documentation
Relates to the documentation.
6
duplicate
duplicate
enhancement
enhancement
Suggests an improvement.
18
epub
epub
Relates to the EPUB version.
2
exercise
exercise
Relates to the exercises.
5
github_actions
github_actions
Pull requests that update GitHub Actions code
help wanted
help wanted
13
inaccuracy
inaccuracy
Relates to inaccuracies in the text.
1
inactive
inactive
javascript
javascript
Pull requests that update Javascript code
1
low-hanging-fruit
low-hanging-fruit
Issues which have a clear solution.
11
markup
markup
Issues with the use of markup.
1
new-chapter
new-chapter
Pull requests that add new chapters.
pdf
pdf
Issues with the PDF version.
1
python
python
Pull requests that update Python code
question
question
Asks a question about the content of the book.
1
ruby
ruby
Pull requests that update Ruby code
style
style
Relates to the styling of the book.
1
text
text
Relates to the text.
6
wontfix
wontfix