pi8027/typeinfer — Issue #42: p9 最小の同値関係とは？
Author: cutsea110
Created: 2011-11-13 23:05:02+00:00
State: open

p9 最初の一文にある、「α同値とβ簡約の関係を含む最小の同値関係と定義できます」とある最小のってのはどういう意味でしょうか？
できれば具体的に書いてもらえると分りやすいかも。