Typo: choose rather than chose (hmemcpy#261)

Update 1.3's C++ concept implementation of Monoid (hmemcpy#259)

Co-authored-by: Alfonso Ros <[email protected]>

Remove unnecessary brackets (hmemcpy#189)

In the instance declaration of `BiComp`.

Fix OCaml and ReasonML ribbon colors (hmemcpy#257)

* Revert accidental ocaml ribbon color change.

* Use actual ReasonML ribbon color.

Typo: s/chose/choose/ (hmemcpy#258)

ReasonML edition. (hmemcpy#247)

* Reason edition: snippets chapter 1.1

* Reason edition: snippets chapter 1.2

* Reason edition: snippets chapter 1.3

* Reason edition: snippets chapter 1.4

* Reason edition: snippets chapter 1.5

* Reason edition: snippets chapter 1.6

* Reason edition: snippets chapter 1.7

* Reason edition: snippets chapter 1.8

* Reason edition: snippets chapter 1.9

* Reason edition: snippets chapter 1.10

* Reason edition: snippets chapter 2.1

* Reason edition: snippets chapter 2.2

* Reason edition: snippets chapter 2.3

* Reason edition: snippets chapter 2.4

* Reason edition: snippets chapter 2.5

* Reason edition: snippets chapter 2.6

* Reason edition: snippets chapter 3.2

* Reason edition: snippets chapter 3.3

* Reason edition: snippets chapter 3.4

* Reason edition: snippets chapter 3.6

* Reason edition: snippets chapter 3.7

* Reason edition: snippets chapter 3.8

* Reason edition: snippets chapter 3.9

* Reason edition: snippets chapter 3.10

* Reason edition: snippets chapter 3.11

* Reason edition: snippets chapter 3.14

* Reason edition: tex files, makefile, logo & colors.

* Reason edition: snippets chapter 3.5

* Obey horizontal space restrictions in Reason snippets.

* Add reason to gh workflows

remove "theory" in "bicartesian closed category theory" (hmemcpy#249)

Switch to using Nix flakes (hmemcpy#253)

Someone has requested me to build this book, since they didn't have Nix.

So when looking at the Nix expressions I found that there was only a
shell.nix and the default.nix was essentially just aliasing the
shell.nix but without the pinning.

However, with Nix flakes we no longer need to do pinning like this and
we instead have a flake.lock file, which essentially pins the
corresponding revisions.

I also added a default.nix, which uses flake-compat to make sure that
nix-shell and nix-build work as before.

Since so far the way to build the PDF(s) was to get into a Nix shell and
run make accordingly. For me however it's unacceptable to build random
code without the Nix sandbox, so while writing a proper default.nix I
decided it would be better to turn it into a Nix flake.

Apart from the previous ways to build this project we now have:

  $ nix develop # To get a Nix shell (similar to nix-shell but cached)
  $ nix build # The default edition
  $ nix build .\#ctfp-scala # The Scala edition
  $ nix build .\#ctfp-ocaml # The OCaml edition

Signed-off-by: aszlig <[email protected]>

Update README.md

Update acknowledgments.tex