code snippets for Lecture 12

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

infer-bad.rkt

infer-good.rkt

let1.rkt

let2.rkt

poly.rkt

ti-interp.rkt

tvar.rkt