pi8027/typeinfer — Issue #38: p7 同じ文章を重ねてる
Author: cutsea110
Created: 2011-11-13 22:57:27+00:00
State: open

「実際には、実際はこの二つの証明の…」

は

「実際はこの二つの証明の…」とするか「実際には、この二つの証明の…」とするか。