Fix minor typos (#304)

* typo (date -> data)

* Replace double colon with LaTeX \Colon

* typo (\eta_aa -> \eta_a)

* Replace \emph{} with \cat{}

* Add missing colon

* typo (× -> \times)

* typo (C -> $\cat{C}$)

* fixup! 38f8fe8e41038b2fab7fa068a78cff4fd2676e7438f8fe8e41038b2fab7fa068a78cff4fd2676e74

fix trivial typo in scala snippet (#303)

Revert wrong "typo fix" for "iff" (#298)

- 'iff' normally means 'if and only if', which is stronger than just 'if'.
https://en.wikipedia.org/wiki/If_and_only_if
- See the discussion on #294

Replace Greek letters with LaTeX (#294)

* Replace Greek letters with LaTeX

* Fix typo

Add missing comma (#280)

Add missing figure (#290) (#291)

Updated README.md as per issue #288 (#289)

* Updated README.md as per issue #288

* Added steps to install nixFlakes explicitly, ref #289

Improvements in the Nix and build system. (#287)

Use Nix for building PDFs. (#286)

Fix formatting in OCaml snippets (#279)