graph-rewriting-ww 0.3.1 → 0.3.2
raw patch · 4 files changed
+3/−10 lines, 4 filesdep ~GLUTdep ~OpenGL
Dependency ranges changed: GLUT, OpenGL
Files
- examples/qp.l +0/−3
- examples/qq.l +0/−3
- examples/trivial_dup.l +0/−1
- graph-rewriting-ww.cabal +3/−3
− examples/qp.l
@@ -1,3 +0,0 @@-(λx.(λy.((λf.((λh.(h(λp.(h(λq.p)))))- (λl.(((f(λn.(l n))) x) y))))- (λg.(λu.(λv.((g u) (g v))))))))
− examples/qq.l
@@ -1,3 +0,0 @@-(λx.(λy.((λf.((λh.(h(λp.(h(λq.q)))))- (λl.(((f(λn.(l n))) x) y))))- (λg.(λu.(λv.((g u) (g v))))))))
− examples/trivial_dup.l
@@ -1,1 +0,0 @@-(λd. d d)((λi. i) x)
graph-rewriting-ww.cabal view
@@ -1,5 +1,5 @@ Name: graph-rewriting-ww-Version: 0.3.1+Version: 0.3.2 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE@@ -23,8 +23,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.3,- OpenGL >= 2.4 && < 2.5,+ GLUT >= 2.2 && < 2.5,+ OpenGL >= 2.4 && < 2.9, IndentParser >= 0.2 && < 0.3 Extensions: UnicodeSyntax