From e9ce09cb450158febbe0e9ecb95ba4ffef51aeb8 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 25 May 2006 21:59:00 +0000 Subject: [PATCH] Danish lexicon and verbs complete, but inflection has to be verified --- doc/tutorial/gf-tutorial2.txt | 6 +++--- 1 file 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.