aarne 5103ae07d9 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

doc

Remove that annoying <li> before Punjabi in Synopsis

2014-02-07 08:57:52 +00:00

haskell

conversion of Int to Tree in haskell

2009-12-07 15:00:52 +00:00

src

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

tests

Fix bescherelle tests broken (True/False order)

2013-12-03 14:29:36 +00:00

Description

No description provided

BSD-3-Clause 211 MiB

Languages

Grammatical Framework 99.9%