code snippets for Lecture 13

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

bt1.rkt

bt2.rkt

bt3.rkt

bt4.rkt

bt5.rkt

bt6.rkt

bt7.rkt

bt8.rkt

div1.rkt

div2.rkt

infer-tr-bad.rkt

infer-tr-good.rkt

infer-tr-new.rkt

plus.rkt