Reading TaPL This repository is reading notes of the "型システム入門" (Japanese Translation of "Types and Programming Languages" or TaPL) for me.