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.

[maintain]

Warnings:

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


[Skip to ReadMe]

Properties

Versions3.1.6, 3.1.6.1, 3.1.6.2, 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 (>=0.4.0.3), 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]
LicenseOtherLicense
MaintainerThomas Hallgren
CategoryNatural Language Processing, Compiler
Home pagehttp://www.grammaticalframework.org/
Bug trackerhttp://code.google.com/p/grammatical-framework/issues/list
Source repositoryhead: darcs clone http://www.grammaticalframework.org/
Executablespgf-shell, gf
UploadedWed Jun 22 11:22:16 UTC 2016 by ThomasHallgren

Modules

[Index]

Flags

NameDescriptionDefaultType
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

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for gf-3.8

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