GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-13 06:49:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

some more words in index-3

Browse Source
This commit is contained in:
aarne
2008-06-19 16:25:43 +00:00
parent 682ff7040a
commit a21b4b0e2e
2 changed files with 37 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
index-3.html
View File

@@ -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>

28
index-3.txt
View File

@@ -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