gf-core

Go to file

gdetrez 1ed5b52a03 In the haskell code, we make the binary representation of the doubles compliant with IEEE 754.

The default binary representation in haskell's Data.Binary package is
homemade and quite complicated. Making it compliant with IEEE 754 will
make it easyer for the java runtimes (and probably others) to load the
PGF.

2010-10-19 18:34:29 +00:00

bin

moved bin/jgf to deprecated

2009-12-11 16:27:24 +00:00

book/examples

completed book examples

2010-11-22 15:48:52 +00:00

contrib

Autocompute python version in py-binds.

2010-09-01 12:49:47 +00:00

debian

Added release number in debian/changelog.

2006-03-21 13:49:42 +00:00

demos

Update demo links

2010-06-17 15:14:00 +00:00

deprecated

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

doc

Update version number 3.0 to 3.1 in a number of places

2009-12-15 15:27:26 +00:00

download

Added MacOS X installed package to download page.

2010-06-15 11:01:39 +00:00

examples

no pro drop for polite forms in PhrasebookPol

2010-12-08 15:26:25 +00:00

src

In the haskell code, we make the binary representation of the doubles compliant with IEEE 754.

2010-10-19 18:34:29 +00:00

testsuite

operations in the abstract syntax

2010-11-12 19:37:19 +00:00

.authorspellings

added .authorspellings file in the root directory

2010-10-16 13:10:06 +00:00

download.html

cygwin linked from download

2007-09-12 09:42:08 +00:00

gf.cabal

In the haskell code, we make the binary representation of the doubles compliant with IEEE 754.

2010-10-19 18:34:29 +00:00

index.html

change the developers link directly in index.html

2010-04-23 18:58:46 +00:00

index.txt

redirect the developers link to the GF wiki

2010-04-23 13:59:23 +00:00

LICENSE

Added license file

2004-06-22 08:54:14 +00:00

Makefile

Fix Makefile for case-sensitive file systems

2010-05-16 16:38:03 +00:00

README

replace the reference to src/INSTALL with doc/gf-developers.html in the README

2009-06-19 13:39:32 +00:00

Setup.hs

Setup.hs: improved langs=... option

2010-11-30 16:49:15 +00:00

README

DESCRIPTION

The Grammatical Framework (=GF) is a grammar formalism based on type theory. 
It consists of

    * a special-purpose programming language
    * a compiler of the language
    * a generic grammar processor 

The compiler reads GF grammars from user-provided files, and the 
generic grammar processor performs various tasks with the grammars:

    * generation
    * parsing
    * translation
    * type checking
    * computation
    * paraphrasing
    * random generation
    * syntax editing 

GF particularly addresses four aspects of grammars:

    * multilinguality (parallel grammars for different languages)
    * semantics (semantic conditions of well-formedness, semantic 
      properties of expressions) 
    * grammar engineering (modularity, abstractions, libraries)
    * embeddability in programs written in other languages (C,C++,
      Haskell, Java, JavaScript)


COMPILATION and INSTALLATION of source distribution:
See doc/gf-developers.html for installation instructions.

Languages

Haskell 45%

C 32.9%

JavaScript 10.1%

HTML 3.3%

Grammatical Framework 2.8%

Other 5.8%