gf: Grammatical Framework

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.9, 3.9
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]
LicenseLicenseRef-OtherLicense
MaintainerThomas Hallgren
CategoryNatural Language Processing, Compiler
Home pagehttp://www.grammaticalframework.org/
Bug trackerhttps://github.com/GrammaticalFramework/GF/issues
Source repositoryhead: git clone https://github.com/GrammaticalFramework/GF.git
Executablespgf-shell, gf
UploadedTue Aug 15 12:31:49 UTC 2017 by ThomasHallgren

Modules

[Index]

Flags

NameDescriptionDefaultType
interrupt

Enable Ctrl+Break in the shell

EnabledAutomatic
server

Include --server mode

EnabledAutomatic
network-uri

Get Network.URI from the network-uri package

EnabledAutomatic
custom-binary

Use a customised version of the binary package

EnabledAutomatic
c-runtime

Include 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.9

[back to package description]
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.)