Types and Programming Languages Code written in the course of reading “Types and Programming Languages” at the London Computation Club.