Labels

• accessibility

  Relates to accessibility.
• agda

  Relates to the Agda code in the book.
• blocked-upstream

  Issues which are blocked on upstream dependencies.
• bug

  Something is broken.
• build

  Relates to the build system.
• citation-needed

  Suggests a missing or incorrect citation.
• clarification-needed

  Relates to the clarity of the text.
• dependencies

  Pull requests that update a dependency file.
• documentation

  Relates to the documentation.
• duplicate
• enhancement

  Suggests an improvement.
• epub

  Relates to the EPUB version.
• exercise

  Relates to the exercises.
• github_actions

  Pull requests that update GitHub Actions code
• help wanted
• inaccuracy

  Relates to inaccuracies in the text.
• inactive
• javascript

  Pull requests that update Javascript code
• low-hanging-fruit

  Issues which have a clear solution.
• markup

  Issues with the use of markup.
• new-chapter

  Pull requests that add new chapters.
• pdf

  Issues with the PDF version.
• python

  Pull requests that update Python code
• question

  Asks a question about the content of the book.
• ruby

  Pull requests that update Ruby code
• style

  Relates to the styling of the book.
• text

  Relates to the text.
• wontfix