summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@johnjcamilleri.com>2018-05-03 11:03:56 +0200
committerGitHub <noreply@github.com>2018-05-03 11:03:56 +0200
commitbb5b21b925c898bd1962ec7563e2d8913a2c73a7 (patch)
tree6ea0e12a8788d91938dc0bea1a2168db200bdcf4 /README
parent260d5251dafc9ed0da3fa3487775157835fb4fc1 (diff)
Rename README to README.md
Diffstat (limited to 'README')
-rw-r--r--README35
1 files changed, 0 insertions, 35 deletions
diff --git a/README b/README
deleted file mode 100644
index 7e04ce573..000000000
--- a/README
+++ /dev/null
@@ -1,35 +0,0 @@
-![GF Logo](doc/Logos/gf1.svg)
-
-# Grammatical Framework (GF)
-
-[![Build Status](https://travis-ci.org/GrammaticalFramework/GF.svg?branch=master)](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).