3 Commits

Author	SHA1	Message	Date
aarne	1c3d7ea22d	inheriting some translator Extensions in NDTrans. Many of them are not needed, since they are now covered by Pred.	2014-02-08 20:18:27 +00:00
aarne	2ff1587382	factored out fun's for lifting RGL functions to Pred, and added some	2014-02-08 19:53:11 +00:00
aarne	3c97dc4ed3	nondependent versions of Pred grammars, implemented by a functor over the dependent version so that no new concrete syntax code is needed. This is at the moment the grammar of choice for translation: NDTransEng is several times faster than TransEng and even faster than the old TranslateEng. The next step is to make sure that all coverage is preserved; some new coverage is already there.	2014-02-08 14:28:58 +00:00