diff --git a/bin/_template.html b/bin/_template.html index a51f92378..2853fb394 100644 --- a/bin/_template.html +++ b/bin/_template.html @@ -48,7 +48,7 @@ $endfor$ $if(title)$
- GF Logo + GF Logo

$title$

$if(subtitle)$

$subtitle$

@@ -86,18 +86,19 @@ $body$
Documentation
Reference
diff --git a/index.html b/index.html index 45ab1debe..fe45c85cb 100644 --- a/index.html +++ b/index.html @@ -27,8 +27,8 @@

Use

@@ -37,9 +37,9 @@

Community
@@ -47,42 +47,42 @@

Learn

Other resources

Develop

GF

Applications

@@ -90,13 +90,13 @@ @@ -112,6 +112,7 @@ GF, Grammatical Framework, is a programming language for Happy, BNFC, but not restricted to programming languages +
  • a functional programming language, like Haskell, Lisp, @@ -119,25 +120,30 @@ GF, Grammatical Framework, is a programming language for SML, Scheme, but specialized to grammar writing +
  • a development platform for natural language grammars, like LKB, XLE, Regulus, but based on functional programming and type theory +
  • a categorial grammar formalism, like ACG, CCG, but specialized for multilingual grammars, +
  • a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic +
  • a platform for machine translation, like Moses, Apertium, but based on deep structural analysis (and usually applied for limited fragments of language). +

    • @@ -166,11 +172,11 @@ least one, it may help you to get a first idea of what GF is. is available for

    Programming in GF

    @@ -185,21 +191,21 @@ least one, it may help you to get a first idea of what GF is. in other programming languages. The formats currently supported are:

    The GF programming language is high-level and advanced, featuring

    Getting help

    @@ -260,23 +266,39 @@ least one, it may help you to get a first idea of what GF is. Later projects using GF and involving third parties include, in chronological order,

    Here is a

    -
    - -
    -
    - -
    -
    - -