The gf package

[Tags: library, program]

[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
Change logNone available
Dependenciesarray, base (>=4.2 && <5), bytestring, containers, directory, filepath, haskeline, mtl, old-time, pretty, process, random, unix, Win32 [details]
LicenseGPL
Maintainernone
Home pagehttp://www.grammaticalframework.org
Executablesgf
UploadedFri Apr 23 12:45:07 UTC 2010 by KrasimirAngelov
DistributionsNixOS:3.7
Downloads2128 total (93 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-05-28 [all 2 reports]

Modules

Flags

NameDescriptionDefaultType
interruptEnable Ctrl+Break in the shellEnabledAutomatic

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

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.