graph-rewriting-ww 0.3.2 → 0.3.3

raw patch · 4 files changed

+18/−8 lines, 4 filesdep ~GLUTdep ~OpenGLdep ~base

Dependency ranges changed: GLUT, OpenGL, base

Files

• Main.hs +1/−1
• examples/test.l +10/−0
• examples/test2.l +1/−0
• graph-rewriting-ww.cabal +6/−7

@@ -54,7 +54,7 @@ 	 	 Leaf "Unshare MFE" unshare, 	 	 Leaf "Eliminate" eliminate, 	 	 Leaf "Erase" erase],-	 Branch "Unsafe Unsharing"+	 Branch "Unshare MFE (unsafe)" 	 	[Leaf "Initiate" initDuplication, 	 	 Branch "Intermediate" 	    	 [Leaf "DuplicateAbstractor" duplicateAbstractor,

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

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

@@ -1,15 +1,14 @@ Name:           graph-rewriting-ww-Version:        0.3.2+Version:        0.3.3 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE Author:         Jan Rochel Maintainer:     jan@rochel.info Homepage:       http://rochel.info/#graph-rewriting-Stability:      alpha Build-Type:     Simple-Synopsis:       Interactive reduction of lambda-calculus with explicit sharing-Description:    Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach.+Synopsis:       Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing+Description:    Evaluate a given λ-term (letrecs may be used) interactively. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach. The reduction rules are split into two groups, safe rules and unsafe rules, which implement the procedure for unsharing the MFE under one duplicator. Category:       Application, Compilers/Interpreters Cabal-Version:  >= 1.6 Data-Files:     examples/*.l@@ -17,14 +16,14 @@ Executable ww   Main-Is:        Main.hs   Build-Depends:-    base >= 4 && < 4.6,+    base >= 4 && < 4.7,     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.5,-    OpenGL >= 2.4 && < 2.9,+    GLUT >= 2.2 && < 2.6,+    OpenGL >= 2.4 && < 2.10,     IndentParser >= 0.2 && < 0.3   Extensions:     UnicodeSyntax