msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Danish lexicon and verbs complete, but inflection has to be verified

Browse Source
This commit is contained in:
aarne
2006-05-25 21:59:00 +00:00
parent 479e2d5ed6
commit e9ce09cb45
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/tutorial/gf-tutorial2.txt
View File

@@ -1864,9 +1864,9 @@ The linearization type is ``{s : Str}`` for all these categories.
===GF as a logical framework===
In this section, we will introduce concepts that make it possible
In this section, we will show how
to encode advanced semantic concepts in an abstract syntax.
These concepts are inherited from **type theory**. Type theory
We use concepts inherited from **type theory**. Type theory
is the basis of many systems known as **logical frameworks**, which are
used for representing mathematical theorems and their proofs on a computer.
In fact, GF has a logical framework as its proper part:
@@ -1913,7 +1913,7 @@ to describe a language rather than a domain.
The GF resource grammar library contains resource grammars for
10 languages, is described more closely in the following
documents:
- [Resource library API documentation ../../lib/resource/doc/gf-resource.html]:
- [Resource library API documentation ../../lib/resource-1.0/doc/]:
for application grammarians using the resource.
- [Resource writing HOWTO ../../lib/resource-1.0/doc/Resource-HOWTO.html]:
for resource grammarians developing the resource.