From 7cdccabeedda7566ad5164ad297695b4d9f8d0be Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Wed, 25 Oct 2017 09:34:11 +0200
Subject: Support includes

---
 literature.md | 19 +++----------------
 1 file changed, 3 insertions(+), 16 deletions(-)

(limited to 'literature.md')

diff --git a/literature.md b/literature.md
index 49ac253..a068576 100644
--- a/literature.md
+++ b/literature.md
@@ -1,21 +1,8 @@
 # Thema
 
-Wir möchten inkrementelle Parser sowohl in ihrer algebraischen Struktur als auch
-in einer Implementierung in Haskell als edit-lenses (alá @hofmann2012edit)
-auffassen.
-
-Unter einem inkrementellen Parser verstehen wir (analog zu
-@ghezzi1979incremental) ein Programm, das, nach einem initialen Parsevorgang,
-gegeben eine Spezifikation einer Änderung der textuellen Eingabe schneller ein
-neues Ergebnis erzeugt als es ohne zusätzlichen Kontext möglich wäre
-(gewöhnlicherweise in logarithmischer Zeit in der Länge der Eingabe).
-Für die Darstellung als edit-lens erweitern wir diese Definition und fordern,
-dass statt einem neuen Ergebnis eine Spezifikation einer Änderung am Ergebnis
-erzeugt werden soll (das Anwenden dieser Änderung auf ein altes Ergebnis sollte
-die Laufzeit nicht verschlechtern).
-
-Unsere Implementierung soll inkrementelle Parser für reguläre- und
-$LL(1)$-Sprachen sowie für Fragmente von Java und XML bereitstellen.
+```include
+topic.md
+```
 
 # Bekannte Ergebnisse
 
-- 
cgit v1.2.3