GitHub repository: tapl-ja/tapl-ja.github.io
Primary language: HTML
Description: 『型システム入門』正誤表（暫定救出版）