mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 09:32:53 -06:00
lib index
This commit is contained in:
52
lib/index.txt
Normal file
52
lib/index.txt
Normal file
@@ -0,0 +1,52 @@
|
||||
GF Grammar Libraries
|
||||
Author: Aarne Ranta <aarne (at) cs.chalmers.se>
|
||||
Last update: %%date(%c)
|
||||
|
||||
% NOTE: this is a txt2tags file.
|
||||
% Create an html file from this file using:
|
||||
% txt2tags --toc -thtml index.txt
|
||||
|
||||
%!target:html
|
||||
|
||||
One of the main ideas of
|
||||
[GF ..]
|
||||
is the use of libraries in grammar writing, in a way familiar
|
||||
from software engineering. In this way, large grammars can
|
||||
be built in cooperation, and old grammars or parts of them
|
||||
can be reused in new grammars. The slides
|
||||
[Grammars as Software Libraries resource-1.0/doc/gslt-sem-2006.html]
|
||||
give some introduction to this idea.
|
||||
|
||||
|
||||
|
||||
==The resource grammar library==
|
||||
|
||||
This library covers basic linguistic structures of
|
||||
different languages.
|
||||
|
||||
[Version 1.0 resource-1.0/doc] (still beta, but already recommended).
|
||||
Covers English, Finnish, French, German, Italian, Norwegian,
|
||||
Spanish, and Swedish.
|
||||
|
||||
[Version 0.9 resource/] (current "official" version).
|
||||
Also covers Danish and Russian, but not German.
|
||||
|
||||
[Version 0.6 resource-0.6/]. Old version with 7 languages.
|
||||
|
||||
|
||||
|
||||
==The prelude library==
|
||||
|
||||
The [prelude prelude/]
|
||||
library gives utility functions for different GF applications:
|
||||
|
||||
[Precedence resource-1.0/doc/gfdoc/Precedence.html]. Utilities for
|
||||
formal languages: precedence levels, associatives, infixes.
|
||||
|
||||
[Predef resource-1.0/doc/gfdoc/Predef.html]. Type signatures
|
||||
of predefined (hard-coded) functions.
|
||||
|
||||
[Prelude resource-1.0/doc/gfdoc/Prelude.html]. Generic utilities
|
||||
for strings, tables, records, booleans.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user