bjorn e5871c7c1d Changed gflib.js to handle linearization of literals. This duplicates some functionality from gfjseditor.js, but is required for the translator to be able to linearize literals. The editor should be fixed to remove the special code for literals, but it is a bit to much for me to understand right now.

2008-10-29 09:33:58 +00:00

c

Added gfcc2c to GF repo.

2006-12-22 13:43:32 +00:00

javascript

Changed gflib.js to handle linearization of literals. This duplicates some functionality from gfjseditor.js, but is required for the translator to be able to linearize literals. The editor should be fixed to remove the special code for literals, but it is a bit to much for me to understand right now.

2008-10-29 09:33:58 +00:00

prelude

simplified the deprecated complex lincat of PredefCnc.Int

2008-09-03 09:45:09 +00:00

resource

fixed type error in German Feder, added erasing flag to LangGer

2008-10-19 10:02:21 +00:00

index.html

lib index

2006-12-22 14:19:55 +00:00

index.txt

updated doc

2007-07-08 16:53:52 +00:00

LICENSE

updated doc

2007-07-08 16:53:52 +00:00

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%