aarne 24ad1bfd6a changed the order of Prelude.Bool to False | True. This is how it is in Haskell to create expected Ord and Enum. Now it also gives a better default for English clause linearizations, as False = uncontracted.

2013-12-03 13:52:52 +00:00

doc

Est paradigm documentation in Synopsis

2013-10-22 13:14:20 +00:00

haskell

conversion of Int to Tree in haskell

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

src

changed the order of Prelude.Bool to False | True. This is how it is in Haskell to create expected Ord and Enum. Now it also gives a better default for English clause linearizations, as False = uncontracted.

2013-12-03 13:52:52 +00:00

tests

Add a small readme to the rgl test suite

2013-11-21 10:32:26 +00:00

S

Description

No description provided

BSD-3-Clause 214 MiB

Languages

Grammatical Framework 99.9%