# Types and Programming Languages

Code generated from meetings of [the London Computation
Club](http://london.computation.club) as we study [Types and Programming
Languages](http://www.cis.upenn.edu/~bcpierce/tapl/)

* [chapter 4](./ch-4) - ruby implementation of the "arith" OCaml presented in the book

Add a readme for the TAPL folder
Add a readme for the TAPL folder
