aarne f061f30a71 moved Symbol and Symbolic to new places to eliminate mathematical in next-resource

2008-09-13 10:39:18 +00:00

c

Added gfcc2c to GF repo.

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

javascript

Updated JS editor to the latest version from Moises.

2008-09-09 09:32:32 +00:00

next-resource

moved Symbol and Symbolic to new places to eliminate mathematical in next-resource

2008-09-13 10:39:18 +00:00

prelude

simplified the deprecated complex lincat of PredefCnc.Int

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

resource

removed inheritance of Numerals in Syntax, added Combinators (for all langs now)

2008-09-13 06:33:42 +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

S

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%