The gf package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.



GF, Grammatical Framework, is a programming language for multilingual grammar applications

[Skip to ReadMe]


Versions3.1.6,,, 3.2, 3.2.9, 3.3, 3.3.3, 3.4, 3.5, 3.6, 3.7, 3.7.1, 3.8, 3.8
Change logNone available
Dependenciesarray, base (>=4.5 && <5), binary, bytestring, cgi (>=3001.2.2.0), containers, data-binary-ieee754, directory, exceptions, filepath, gf, haskeline, httpd-shed (>=, json, lifted-base, mtl, network (>=2.3 && <2.7), network-uri (>=2.6), old-locale, parallel (>=3), pretty, process, random, terminfo (>=0.4), time, time-compat, unix, utf8-string, Win32 [details]
MaintainerThomas Hallgren
CategoryNatural Language Processing, Compiler
Home page
Bug tracker
Source repositoryhead: darcs clone
Executablespgf-shell, gf
UploadedWed Jun 22 11:22:16 UTC 2016 by ThomasHallgren




interruptEnable Ctrl+Break in the shellEnabledAutomatic
serverInclude --server modeEnabledAutomatic
network-uriGet Network.URI from the network-uri packageEnabledAutomatic
custom-binaryUse a customised version of the binary packageEnabledAutomatic
c-runtimeInclude functionality from the C run-time library (which must be installed already)DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees

Readme for gf-3.8


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.)