slebok
Showing with 29 additions and 0 deletions.

+4 −0 Fold-over.md

+4 −0 Fold-under.md

+6 −0 Home.md

+4 −0 Insert.md

+4 −0 Tear-Fold grammar.md

+4 −0 Tear-Insert-Fold grammar.md

+3 −0 Tear.md
diff --git a/Fold-over.md b/Fold-over.md
@@ -0,0 +1,4 @@
+* Definition: **Fold-over** (`^^`) is a tree manipulation annotation used in [[Tear-Insert-Fold grammars|Tear-Insert-Fold grammar]] and [[Tear-Fold grammars|Tear-Fold grammar]]. The node corresponding to `x^^` replaces its parent node, and its siblings are added to its children.
+* English: _fold-over_
+* Russian: _надсвёртка_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)
diff --git a/Fold-under.md b/Fold-under.md
@@ -0,0 +1,4 @@
+* Definition: **Fold-under** (`^`) is a tree manipulation annotation used in [[Tear-Insert-Fold grammars|Tear-Insert-Fold grammar]] and [[Tear-Fold grammars|Tear-Fold grammar]]. The node corresponding to `x^` is deleted, and its children become children of its parent.
+* English: _fold-under_
+* Russian: _подсвёртка_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)
diff --git a/Home.md b/Home.md
@@ -53,6 +53,8 @@
 * [[Extended Backus-Naur form]]
 * [[Extract]]
 * [[Factor]]
+* [[Fold-over]]
+* [[Fold-under]]
 * [[Fold]]
 * [[Frontier]]
 * [[Functional programming]]
@@ -70,6 +72,7 @@
 * [[Inheritance]]
 * [[Inject]]
 * [[Inline]]
+* [[Insert]]
 * [[Intentional programming]]
 * [[Introduce]]
 * [[Lassoc]]
@@ -114,6 +117,9 @@
 * [[Static typing]]
 * [[Strong typing]]
 * [[Structured programming]]
+* [[Tear-Fold grammar]]
+* [[Tear-Insert-Fold grammar]]
+* [[Tear]]
 * [[Terminal]]
 * [[Test-driven development]]
 * [[Tester driven development]]

diff --git a/Insert.md b/Insert.md
@@ -0,0 +1,4 @@
+* Definition: **Insert** (`[]`) is a tree manipulation annotation used in [[Tear-Insert-Fold grammars|Tear-Insert-Fold grammar]]. In `a [x] b`, the parser parses `ab`, and the subtree corresponding to `x` is inserted between `a` and `b`.
+* English: _insert_
+* Russian: _вставка_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)
diff --git a/Tear-Fold grammar.md b/Tear-Fold grammar.md
@@ -0,0 +1,4 @@
+* Definition: **Tear-Fold grammar** (TF-grammar) is a [[context-free grammar]], where symbols are allowed to have [[tear]], [[fold-under]] and [[fold-over]] annotations.
+* Abbreviated as: _TF-grammar_
+* English: _Tear-Fold grammar_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)
diff --git a/Tear-Insert-Fold grammar.md b/Tear-Insert-Fold grammar.md
@@ -0,0 +1,4 @@
+* Definition: **Tear-Insert-Fold grammar** or **Tear-Insertion-Fold grammar** (TIF-grammar) is a [[context-free grammar]], where symbols are allowed to have [[tear]], [[insert]], [[fold-under]] and [[fold-over]] annotations.
+* Abbreviated as: _TIF-grammar_
+* English: _Tear-Insert-Fold grammar_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)
diff --git a/Tear.md b/Tear.md
@@ -0,0 +1,3 @@
+* Definition: **Tear** (`^^^`) is a tree manipulation annotation used in [[Tear-Insert-Fold grammars|Tear-Insert-Fold grammar]] and [[Tear-Fold grammars|Tear-Fold grammar]]. The node corresponding to `x^^^` is deleted together with its children.
+* English: _tear_
+* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287)