Various bits of code related to the book "Types and Programming Languages" by Benjamin C. Pierce, which we are reading at the London Computation Club.
Much more information on the club wiki.
The Jupyter notebooks in this repo are best viewed locally or on nbviewer. Github will display the notebooks but it blocks custom CSS which makes the derivation trees render badly.
The notebooks all use my inference
library which can be found on
GitHub.