graph-rewriting-lambdascope 0.5.8 → 0.5.9

raw patch · 2 files changed

+11/−16 lines, 2 filesdep ~GLUTdep ~IndentParserdep ~OpenGL

Dependency ranges changed: GLUT, IndentParser, OpenGL, base, base-unicode-symbols, graph-rewriting, graph-rewriting-gl, graph-rewriting-layout, graph-rewriting-strategies, parsec

Files

• examples/sum.l +0/−5
• graph-rewriting-lambdascope.cabal +11/−11

@@ -1,5 +0,0 @@-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))

@@ -1,5 +1,5 @@ Name:           graph-rewriting-lambdascope-Version:        0.5.8+Version:        0.5.9 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -18,16 +18,16 @@ Executable lambdascope   Main-Is:        Main.hs   Build-Depends:-    base >= 4 && < 4.9,-    base-unicode-symbols >= 0.2 && < 0.3,-    graph-rewriting >= 0.7.8 && < 0.8,-    graph-rewriting-layout >= 0.5.4 && < 0.6,-    graph-rewriting-gl >= 0.7.6 && < 0.8,-    graph-rewriting-strategies >= 0.2.4 && < 0.3,-    parsec >= 3.1 && < 3.2,-    GLUT >= 2.2 && < 2.8,-    OpenGL == 3.*,-    IndentParser >= 0.2 && < 0.3+    base >= 4 && < 5,+    base-unicode-symbols >= 0.2,+    graph-rewriting >= 0.7.8,+    graph-rewriting-layout >= 0.5.4,+    graph-rewriting-gl >= 0.7.6,+    graph-rewriting-strategies >= 0.2.4,+    parsec >= 3.1,+    GLUT >= 2.2,+    OpenGL >= 3.0,+    IndentParser >= 0.2   Extensions:     UnicodeSyntax     FlexibleInstances