Got especially excited, since I also experimented on a similar idea a few years ago:
https://github.com/celaleddin/sembolik-fikir
Will check this out further in the following days. Thanks for sharing!
https://github.com/celaleddin/sembolik-fikir
Will check this out further in the following days. Thanks for sharing!
My solution for this problem in Kip was to go all the way with the morphological analysis using TRmorph (https://github.com/coltekin/TRmorph) for it, and then resolve the ambiguities in type checking / elaboration. (Therefore Kip almost never needs apostrophes.) Whether it was worth it, I don't know, but it was a fun problem to solve. :)