GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
Grammatical Framework C Haskell HTML JavaScript Java Other
Permalink
Failed to load latest commit information.
bin bin/build-binary-dist.sh: fixes for the Java and Python bindings. Jun 20, 2016
css Minor edit of GF 3.7.1 release notes Oct 2, 2015
debian Final changes for the GF 3.8 release Jun 22, 2016
demos demos/index.html: a couple of fixes Feb 8, 2016
doc Documentation updates Jun 17, 2016
download Final changes for the GF 3.8 release Jun 22, 2016
eclipse GFEP: update readme Feb 22, 2013
examples added PassAgentV2 to App, and the specialized syntax functions to app… Jun 5, 2016
framenet Redirecting grammaticalframework.org/framenet to remu.grammaticalfram… Jun 17, 2014
gf-book Make the GF web site more mobile friendly Sep 28, 2012
lib ill_Adv -> ill_AdV Jul 5, 2016
src PGFService: fix a type ambiguity when compiling without C run-time su… Jun 17, 2016
testsuite testsuite: fix test of generate_trees Dec 10, 2013
treebanks some more conversion patterns for Susanne Nov 18, 2015
.authorspellings Added my name to authors list Oct 26, 2012
.ghci GF.Infra.SIO: The SIO monad now supports putStr in addition to putStrLn Aug 31, 2015
LICENSE more clear LICENSE file for GF Dec 21, 2010
Makefile Makefile: make pkg: change install location from /usr to /usr/local Oct 1, 2015
README Updated the GF Developers Guide Aug 6, 2012
Setup.hs Enable compilation of Ancient Greek in Setup.hs Jun 2, 2016
WebSetup.hs WebSetup.hs: always enable parallel compilation of the RGL and the ex… Sep 11, 2015
download.html cygwin linked from download Sep 12, 2007
gf.cabal gf.cabal: bump version to 3.8-darcs Jul 5, 2016
index.html rbmt summer school announcement Jun 26, 2016
oldindex.html Update web pages and bump version number to 3.6! Jun 21, 2014

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 download/index.html for installation instructions.
(More details can be found in doc/gf-developers.html.)