hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-10-03 17:18:17 +03:00
Code Issues Projects Releases Wiki Activity
master
milewski-ctfp-pdf/errata-1.0.0.md
Pol Dellaiera de799935b2
refactor: CI and nix (#306) 
* fix: remove custom fonts

Since they are available in Nix, there is no need to keep them in the project anymore

* chore: remove old obsolete files

* refactor: rewrite Nix files

- Switch from `numtide/flake-utils` to `flake-parts`
- Add custom font derivation for LaTeX
- Add `formatter`
- Switch to `python311`

* ci: update Github workflows

* feat: add `Makefile` for local development

Very useful when used in combination with `nix develop`

* feat: add `.envrc` file for loading development environment with `nix-direnv`

* feat: add `.editorconfig` and `.prettierrc`

* style: reformat files using `prettier`

Run `nix run nixpkgs#nodePackages.prettier -- --write .`

* fix: add workaround to prevent bug with `minted` package

see https://github.com/gpoore/minted/issues/353 for context

* fix: add `version.tex` in the repo

* chore: rewrite `README`

* chore: ignore LaTeX temporary files while building locally

* feat: add `latexindent.pl` configuration file

* style: lint LaTeX files
2023-02-02 10:53:45 +01:00

3.5 KiB
Raw Permalink Blame History

A list of typos/mistakes that were fixed after the initial printed book release.

Preface

  • #155 - Typo (physicist -> physicists)

6. Simple Algebraic Data Types

  • #176 - Typo (statements -> statement)

8. Functoriality

  • 9a3a5a3 - added clarifications on bifunctoriality vs. separate functoriality (fix by Bartosz)

9. Function Types

  • #182 - Fix typo (chose -> choose)

10. Natural Transformations

  • #157 - Adding paragraph indent

12. Limits and Colimits

  • #162 - Fix grammatical error

14. Representable Functors

  • #162 - Fix grammatical error

18. Adjunctions

  • #160 - Fix spelling of "counit"

19. Free/Forgetful Adjunctions

  • #156 - an instance of the category name Mon is appearing as arg
  • #160 - Fix spelling of "isomorphism"

20. Monads - Programmer's Definition

  • #160 - Fix grammatical error
  • #162 - Fix grammatical error

22. Monads Categorically

  • #162 - Fix grammatical error

23. Comonads

  • #158 - fixed incorrect typesetting of set
  • 23f522e - adjusted Prod/Product names (fix by Bartosz)

25. Algebras for Monads

  • #158 - fixed incorrect typesetting of set
  • #159 - fixed incorrect typesetting of category terms
  • #160 - Fix spelling of "counit" and "morphisms", fix subscript spacing
  • #162 - Fix grammatical errors

26. Ends and Coends

  • #159 - fixed incorrect typesetting of category terms
  • #160 - Fix spelling of "coequalizer", fix subscript spacing

27. Kan Extensions

  • #160 - Fix subscript spacing
  • 31821e5 - postcomposition -> precomposition (fix by Bartosz)

28. Enriched Categories

  • #160 - Fix subscript spacing
  • #162 - Fix grammatical error

29. Topoi

  • #162 - Fix grammatical error

30. Lawvere Theories

  • #160 - Fix spelling of "coequalizer"
  • #162 - Fix grammatical errors and a typesetting error