search

DaisukeBekki / lightblue

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

Wani：Disjoint Union Typeの追加 #66

Open DaisukeBekki opened 1 week ago

DaisukeBekki commented 1 week ago

Disjoint union types の形成・導入・除去則の実装がほしいです。

https://github.com/DaisukeBekki/lightblue/blob/60ee63e5354d04cb693085d791f281f760f43904/src/DTS/DTTdeBruijn.hs#L74

hinarid commented 1 week ago

すみません、あまりつかめていないので、次回ゼミでお話しできると嬉しいです！

実装に先立って以下を把握する必要があると思ってます。