5 Commits

Author	SHA1	Message	Date
aarne	88cf84613e	more passives in App. Import changes are now produced with MkApp.hs, which copies the exclude list from App.gf to the concrete syntax files.	2014-04-09 14:01:06 +00:00
aarne	a3921bffd7	rewrote App so that it just inherits Translate and excludes some functions. This minimizes the duplication of code between Translate and App. Also added some functions, which make App 15% slower but increase the coverage and quality. This trade-off has to be studied further.	2014-04-09 13:04:19 +00:00
aarne	44521edd2d	small fixes in App grammar - don't affect performance	2014-04-08 16:14:05 +00:00
aarne	942808bc84	added AdvVP and AdVVP to App	2014-04-03 07:25:57 +00:00
aarne	cae40d2b0e	Android app sources in examples/app - read README for advice	2014-04-02 21:34:40 +00:00