Labels

• accessibility

  accessibility

  Relates to accessibility.

• agda

  agda

  Relates to the Agda code in the book.

• blocked-upstream

  blocked-upstream

  Issues which are blocked on upstream dependencies.

• bug

  bug

  Something is broken.

• build

  build

  Relates to the build system.

• citation-needed

  citation-needed

  Suggests a missing or incorrect citation.

• clarification-needed

  clarification-needed

  Relates to the clarity of the text.

• dependencies

  dependencies

  Pull requests that update a dependency file.

• documentation

  documentation

  Relates to the documentation.

• duplicate

  duplicate

• enhancement

  enhancement

  Suggests an improvement.

• epub

  epub

  Relates to the EPUB version.

• exercise

  exercise

  Relates to the exercises.

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• help wanted

  help wanted

• inaccuracy

  inaccuracy

  Relates to inaccuracies in the text.

• inactive

  inactive

• javascript

  javascript

  Pull requests that update Javascript code

• low-hanging-fruit

  low-hanging-fruit

  Issues which have a clear solution.

• markup

  markup

  Issues with the use of markup.

• new-chapter

  new-chapter

  Pull requests that add new chapters.

• pdf

  pdf

  Issues with the PDF version.

• python

  python

  Pull requests that update Python code

• question

  question

  Asks a question about the content of the book.

• ruby

  ruby

  Pull requests that update Ruby code

• style

  style

  Relates to the styling of the book.

• text

  text

  Relates to the text.

• wontfix

  wontfix