diff --git a/examples/not-ll-expr-1.l b/examples/not-ll-expr-1.l
new file mode 100644
--- /dev/null
+++ b/examples/not-ll-expr-1.l
@@ -0,0 +1,1 @@
+let f = \x.\y. f y x in f a b c d e g
diff --git a/examples/running_eff.l b/examples/running_eff.l
new file mode 100644
--- /dev/null
+++ b/examples/running_eff.l
@@ -0,0 +1,1 @@
+\x. \f. let  r = f r x  in  r
diff --git a/examples/running_ineff.l b/examples/running_ineff.l
new file mode 100644
--- /dev/null
+++ b/examples/running_ineff.l
@@ -0,0 +1,1 @@
+\x. \f. let  r = f (f r x) x  in  r
diff --git a/examples/sum.l b/examples/sum.l
new file mode 100644
--- /dev/null
+++ b/examples/sum.l
@@ -0,0 +1,5 @@
+let
+	sum list = case list of
+		Nil -> 0
+		Cons z zs -> (\x.λy -> + x y) z (sum zs)
+in sum (Cons 1 (Cons 2 Nil))
diff --git a/graph-rewriting-ww.cabal b/graph-rewriting-ww.cabal
--- a/graph-rewriting-ww.cabal
+++ b/graph-rewriting-ww.cabal
@@ -1,5 +1,5 @@
 Name:           graph-rewriting-ww
-Version:        0.3.4
+Version:        0.3.5
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE
@@ -16,19 +16,19 @@
 Executable ww
   Main-Is:        Main.hs
   Build-Depends:
-    base >= 4 && < 4.8,
+    base >= 4 && < 4.9,
     base-unicode-symbols >= 0.2 && < 0.3,
-    graph-rewriting >= 0.7 && < 0.8,
-    graph-rewriting-layout >= 0.5.1 && < 0.6,
-    graph-rewriting-gl >= 0.6.9 && < 0.8,
-    parsec >= 2.1 && < 2.2,
-    GLUT >= 2.2 && < 2.6,
-    OpenGL >= 2.4 && < 2.10,
+    graph-rewriting >= 0.7.8 && < 0.8,
+    graph-rewriting-layout >= 0.5.4 && < 0.6,
+    graph-rewriting-gl >= 0.7.6 && < 0.8,
+    parsec >= 3.1 && < 3.2,
+    GLUT >= 2.2 && < 2.8,
+    OpenGL == 3.*,
     IndentParser >= 0.2 && < 0.3
   Extensions:
     UnicodeSyntax
     FlexibleInstances
     FlexibleContexts
     MultiParamTypeClasses
-  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas
+  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs
   Other-Modules:   GL Graph Resolver Rules Term