kawu / ltag

Fun with LTAGs
BSD 2-Clause "Simplified" License
0 stars 0 forks source link

Improve `Tree f -> Tree (Either f i)` translation #8

Open kawu opened 9 years ago

kawu commented 9 years ago

The translation which makes sure that variable values percolate to other tree parts should be improved. At the moment a simplified version is implemented.

kawu commented 9 years ago

Do not work on that before #9 is considered.