aarne e8d79366e8 adjusted the contents of Translate.gf: (1) inherit everything in Idiom since it is useful and cheap ; (2) inherit ComplVV and SlashV2V from Verb rather than Extensions, since it is more efficient and already available for all languages. Actually the previous version didn't have these functions at all, which affected the quality quite a bit.

2014-04-09 09:40:43 +00:00

doc

RGL browser: update build-tags.sh to work on OSX

2014-02-13 15:24:57 +00:00

haskell

conversion of Int to Tree in haskell

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

src

adjusted the contents of Translate.gf: (1) inherit everything in Idiom since it is useful and cheap ; (2) inherit ComplVV and SlashV2V from Verb rather than Extensions, since it is more efficient and already available for all languages. Actually the previous version didn't have these functions at all, which affected the quality quite a bit.

2014-04-09 09:40:43 +00:00

tests

Fix bescherelle tests broken (True/False order)

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

S

Description

No description provided

BSD-3-Clause

218 MiB

0 Stars 1 Watchers 1 Forks

Languages

Grammatical Framework 99.9%