Notes on countable sets, uncountable sets, and Cantor's diagonalization argument.
A nix environment is provisioned via default.nix and shell.nix. If you're building on NixOS or another operating system with Nix installed, then you may compile the LaTeX into a PDF with nix-build
:
$ nix-build --no-out-link default.nix
If you would like to open a shell with the dependencies necessary to build the LaTeX files in this repository, then you may invoke nix-shell
at the top-level directory of this repository.
$ nix-shell
You're on your own, good luck.