pi8027/typeinfer — Issue #49: [typo]p36
Author: cutsea110
Created: 2011-12-02 05:24:47+00:00
State: open

「新しい例として直積型を含む体系ににおける」

↓

「新しい例として直積型を含む体系における」
~~~