search

DaisukeBekki / lightblue

A CCG parser for Japanese with DTS-representations
BSD 3-Clause "New" or "Revised" License
17 stars 8 forks source link

unpack, idpeel, natrecの型検査 #48

Open DaisukeBekki opened 1 week ago

DaisukeBekki commented 1 week ago

現在の型検査/型推論は、これらの除去規則コンストラクタの条件分岐が省略されているが、きちんと書くこと。 （述語pを取らない仕様になっているものがあるので、それも修正し、表示関数も合わせて修正すること）