These are also hyperlinked from the pdf if your reader is set up right (tested with evince, mupdf / emacs-pdftools, on Linux).
exp1.rkt
exp2.rkt
tc1.rkt