graph-rewriting-ww 0.3.3 → 0.3.4

raw patch · 9 files changed

+29/−24 lines, 9 filesdep ~base

Dependency ranges changed: base

Files

• examples/case.l +0/−6
• examples/morazan-fig1.l +6/−0
• examples/morazan-fig4.l +7/−0
• examples/morazan-fig6.l +7/−0
• examples/morazan-fig8.l +7/−0
• examples/sum.l +0/−5
• examples/test.l +0/−10
• examples/test2.l +0/−1
• graph-rewriting-ww.cabal +2/−2

@@ -1,6 +0,0 @@-λx.case x of-	Test -> 1-	B y  -> y y-	Cons x xs -> x xs-	Bla       -> λy.y y-(Cons 5 Nil)

@@ -0,0 +1,6 @@+let R = λx y.+	let+		f = R x+		g = R y+	in f g+in R

@@ -0,0 +1,7 @@+let f x =+	let+		g = i+		h = x+		i = h+	in g h+in f

@@ -0,0 +1,7 @@+let f x y z =+	let g a b =+		let h c d =+			let i e = h g in i+		in h+	in g+in f

@@ -0,0 +1,7 @@+let f x y z =+	let+		g = x i+		h = y f+		i = z f g+	in g h+in f

@@ -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,10 +0,0 @@-λx. (λy. (λz. (? x) (? z)) (? y))--let-	f(z1,z2,z3) x -> g(h(z1 x, z2), z3)-	g(z1,z2) y -> z1(z2 y)-	h(z1,z2) z -> z1(z2 z)-in f(n1,n2,n3)---λx. (λy. (λz. (n1 x) (n2 z)) (n3 y))

@@ -1,1 +0,0 @@-λx. λy. let Z = λz. n1 x (n2 z) in Z (n3 y) Z

@@ -1,5 +1,5 @@ Name:           graph-rewriting-ww-Version:        0.3.3+Version:        0.3.4 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -16,7 +16,7 @@ Executable ww   Main-Is:        Main.hs   Build-Depends:-    base >= 4 && < 4.7,+    base >= 4 && < 4.8,     base-unicode-symbols >= 0.2 && < 0.3,     graph-rewriting >= 0.7 && < 0.8,     graph-rewriting-layout >= 0.5.1 && < 0.6,