Hackage :: [Package]

gf: Grammatical Framework

[ compiler, library, natural-language-processing, program ] [ Propose Tags ] [ Report a vulnerability ]

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

[Skip to Readme]

Modules

[Last Documentation]

  • PGF

Flags

Automatic Flags
NameDescriptionDefault
interrupt

Enable Ctrl+Break in the shell

Enabled
server

Include --server mode

Enabled
cclazy

Use the new, lazy compute_concrete (faster than the old, strict version)

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 3.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.10, 3.11, 3.11.0, 3.12, 3.12.0 (info)
Dependencies array, base (>=4.2 && <5), bytestring, containers, directory, filepath, fst, haskeline, httpd-shed, mtl, network, old-time, pretty, process, random, silently, unix, utf8-string, Win32 [details]
Tested with ghc ==6.12.3, ghc ==7.0.3
License LicenseRef-OtherLicense
Author
Maintainer none
Uploaded by ThomasHallgren at 2011-09-12T14:58:23Z
Category Natural Language Processing, Compiler
Home page http://www.grammaticalframework.org/
Bug tracker http://code.google.com/p/grammatical-framework/issues/list
Source repo head: darcs get http://www.grammaticalframework.org/
Reverse Dependencies 1 direct, 0 indirect [details]
Executables gf
Downloads 15251 total (74 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-27 [all 7 reports]

Readme for gf-3.2.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 doc/gf-developers.html for installation instructions.