search

DaisukeBekki / lightblue

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

TypeCheck/TypeInferenceのAsp型（その他UDTT拡張型）への対応 #42

Open DaisukeBekki opened 11 months ago

DaisukeBekki commented 1 week ago

現在、typeCheck関数がAsp対応済み（Waniをlaunchする）が、現在のAspはunderspecified termである。 Underspecified typeにupdateすること。