ATTAPLの6章は 論理関係という方法を使ったプログラムの等価性検査について書いてある．6.3節では, 前準備として, 基本型がプログラムの等価性に影響を与える場合について述べている．ここではλ計算にUnit型を入れてプログラムの等価性を議論している. Unit…