diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-05-27 09:06:11 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-05-27 09:06:11 +0200 |
| commit | 8df212165028242458795b1f943c7975eb434e2a (patch) | |
| tree | 49d0d8b3b195daa74cd61ec0988bbf06f58cbad2 /doc/gf-refman.md | |
| parent | 8b9719bd2d85ee16f89453c79c40d9e00f5057ad (diff) | |
| parent | b7249adf63acf717210af2fa2e552bd50473b960 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'doc/gf-refman.md')
| -rw-r--r-- | doc/gf-refman.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gf-refman.md b/doc/gf-refman.md index 3ae3eb866..2a53041d9 100644 --- a/doc/gf-refman.md +++ b/doc/gf-refman.md @@ -72,7 +72,7 @@ concrete syntax. Tree formation in abstract syntax, however, is fully recursive. Even though run-time GF grammars manipulate just nested tuples, at -compile time these are represented by by the more fine-grained labelled +compile time these are represented by the more fine-grained labelled records and finite functions over algebraic datatypes. This enables the programmer to write on a higher abstraction level, and also adds type distinctions and hence raises the level of checking of programs. @@ -99,7 +99,7 @@ module looks as follows: } Here are two concrete syntax modules, one intended for mapping the trees -to English, the other to Swedish. The mappling is defined by `lincat` +to English, the other to Swedish. The mapping is defined by `lincat` definitions assigning a **linearization type** to each category, and `lin` definitions assigning a **linearization** to each function. @@ -2515,7 +2515,7 @@ The reserved words used in GF are the following: - `transfer` - `variants` - `where` -- `with` +- `with` The symbols used in GF are the following: |
