diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-05-03 11:03:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-03 11:03:56 +0200 |
| commit | bb5b21b925c898bd1962ec7563e2d8913a2c73a7 (patch) | |
| tree | 6ea0e12a8788d91938dc0bea1a2168db200bdcf4 /README.md | |
| parent | 260d5251dafc9ed0da3fa3487775157835fb4fc1 (diff) | |
Rename README to README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 000000000..7e04ce573 --- /dev/null +++ b/README.md @@ -0,0 +1,35 @@ + + +# Grammatical Framework (GF) + +[](https://travis-ci.org/GrammaticalFramework/GF) + +The Grammatical Framework 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](download/index.html) for installation instructions. +More details can be found in [doc/gf-developers.html](doc/gf-developers.html). |