 aarne
|
873993d46a
|
VP coordination, focus in QCl in Predication. Swe is close to correct but in Eng details with auxiliaries have to be fixed.
|
2014-01-24 13:57:44 +00:00 |
|
|
aarne
|
9b3c8b8365
|
testing Predication with Swe
|
2014-01-23 21:20:52 +00:00 |
|
|
aarne
|
2bfcabc25d
|
generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well
|
2014-01-23 17:50:30 +00:00 |
|
|
aarne
|
0b9ca96ef6
|
experimental Predication with dependent types - promising, but far from finished
|
2014-01-23 16:12:28 +00:00 |
|