1章

キソ

2章

3章

型環境、項、型、\phi, \{\}の5つ組？

制約

6章

実装した

いまいち何をやっているのか理解できていない

型環境と項を引数にとり、5つ組の残りを返却する関数constraintTypeを実装している

これを使えば、本の上の方に書かれてある規則なども出力させることができる？

どのへんが型推論なのか

連立方程式をといているのか　

7章

単一化って何？何が嬉しい？