diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-25 21:59:00 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-25 21:59:00 +0000 |
| commit | e9ce09cb450158febbe0e9ecb95ba4ffef51aeb8 (patch) | |
| tree | f13e3d90bdf6e3200bbe735cc9c5350c1ee5ce79 /doc/tutorial/gf-tutorial2.txt | |
| parent | 479e2d5ed6a9e54ee571804fb0f1c9bf9e8a13a2 (diff) | |
Danish lexicon and verbs complete, but inflection has to be verified
Diffstat (limited to 'doc/tutorial/gf-tutorial2.txt')
| -rw-r--r-- | doc/tutorial/gf-tutorial2.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/tutorial/gf-tutorial2.txt b/doc/tutorial/gf-tutorial2.txt index a1226d7cd..af6243056 100644 --- a/doc/tutorial/gf-tutorial2.txt +++ b/doc/tutorial/gf-tutorial2.txt @@ -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. |