summaryrefslogtreecommitdiff
path: root/doc/gf-refman.md
diff options
context:
space:
mode:
authorkrangelov <kr.angelov@gmail.com>2019-05-27 09:06:11 +0200
committerkrangelov <kr.angelov@gmail.com>2019-05-27 09:06:11 +0200
commit8df212165028242458795b1f943c7975eb434e2a (patch)
tree49d0d8b3b195daa74cd61ec0988bbf06f58cbad2 /doc/gf-refman.md
parent8b9719bd2d85ee16f89453c79c40d9e00f5057ad (diff)
parentb7249adf63acf717210af2fa2e552bd50473b960 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'doc/gf-refman.md')
-rw-r--r--doc/gf-refman.md6
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: