diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-19 16:25:43 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-19 16:25:43 +0000 |
| commit | 1d21167ee99d7da775c6baf537d6aaaa041ce354 (patch) | |
| tree | 951251d04715cdefddcbb398a75a883f3ead16ce | |
| parent | 79bd6c20969aa373d370c672b6894a42253fd6b5 (diff) | |
some more words in index-3
| -rw-r--r-- | index-3.html | 14 | ||||
| -rw-r--r-- | index-3.txt | 28 |
2 files changed, 37 insertions, 5 deletions
diff --git a/index-3.html b/index-3.html index e0d14657c..95a782462 100644 --- a/index-3.html +++ b/index-3.html @@ -23,6 +23,20 @@ June 2008 </center> </P> <P> +<font size=+2> +</P> +<P> +<CODE>|</CODE> <A HREF="demos/">Demos</A> +<CODE>|</CODE> <A HREF="download">Download</A> +<CODE>|</CODE> <A HREF="lib/">Libraries</A> +<CODE>|</CODE> <A HREF="doc/gf-refman.html">Reference</A> +<CODE>|</CODE> <A HREF="doc/gf-tutorial.html">Tutorial</A> +<CODE>|</CODE> +</P> +<P> +</font> +</P> +<P> <CODE>|</CODE> <A HREF="demos/">Demos</A> <CODE>|</CODE> <A HREF="download">Download</A> <CODE>|</CODE> <A HREF="download">Development</A> diff --git a/index-3.txt b/index-3.txt index 4d4138aa5..fca957887 100644 --- a/index-3.txt +++ b/index-3.txt @@ -5,6 +5,8 @@ %!postproc(html): "#ENCE" "</center>" %!postproc(html): "#BESMALL" "<font size=-1>" %!postproc(html): "#ENSMALL" "</font>" +%!postproc(html): "#BELARGE" "<font size=+2>" +%!postproc(html): "#ENLARGE" "</font>" #BECE @@ -18,6 +20,17 @@ June 2008 #ENCE +#BELARGE + +``|`` [Demos demos/] +``|`` [Download download] +``|`` [Libraries lib/] +``|`` [Reference doc/gf-refman.html] +``|`` [Tutorial doc/gf-tutorial.html] +``|`` + +#ENLARGE + ``|`` [Demos demos/] ``|`` [Download download] ``|`` [Development download] @@ -45,11 +58,16 @@ June 2008 GF, Grammatical Framework, is a programming language for **multilingual grammar applications**. It is -- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC -- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML -- a **natural language processing framework**, like LKB, XLE, Regulus -- a **categorial grammar formalism**, like ACG, CCG -- a **logical framework**, like Agda, Coq, Isabelle +- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC, + but not restricted to programming languages +- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML, + but specialized to grammar writing +- a **natural language processing framework**, like LKB, XLE, Regulus, + but based on functional programming and type theory +- a **categorial grammar formalism**, like ACG, CCG, + but different and equipped with different tools +- a **logical framework**, like Agda, Coq, Isabelle, + but equipped with concrete syntax in addition to logic Don't worry if you don't know most of the references above - but if you do know at |