Cuentos

gbhgh
2012-11-18: | GF Summer School in Frauenchiemsee, 18-30 August 2013. |
2012-11-18: | New resource grammar language: Chinese See library synopsis. Complete but not yet perfect. |2012-06-29: | GF sources now mirrored in GitHub, with change statistics and other browsing features. See github.com/GrammaticalFramework/GF |
2012-05-07: | New resource grammar language: Japanese. Seelibrary synopsis. |
2012-03-23: | There will be a GF tutorial at ICFP 2012 in Copenhagen. |
2012-03-03: | GF 3.3.3 released! Release notes. |
2012-02-24: | New resource grammar languages: Hindi,Sindhi. See library synopsis. |
2011-12-29: | New resource grammar languages: Latvian, Thai. See library synopsis. |
2011-10-27: | GF 3.3 released! Release notes. |
2011-09-20: | There isnow a page collecting editor modes for GF. Contributions are welcome! |
2011-09-12: | GF 3.2.9 source snapshot with faster grammar compilation available. See Downloads. |
2011-04-22: | JPGFAndroid Tutorial added. |
2011-04-15: | The GF Book is available. |
2011-01-13: | Phrasedroid available on the Android Market. |
2011-01-04: | GF is part of the CLT Toolkit. |
2010-12-23: | GF3.2 released! Release notes. |
What is GF
GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is
* 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 languageprocessing 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 least...