graph-rewriting-ski 0.6.2 → 0.6.3
raw patch · 1 files changed
+6/−6 lines, 1 filesdep ~GLUTdep ~OpenGLdep ~base
Dependency ranges changed: GLUT, OpenGL, base
Files
graph-rewriting-ski.cabal view
@@ -1,5 +1,5 @@ Name: graph-rewriting-ski-Version: 0.6.2+Version: 0.6.3 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE@@ -8,8 +8,8 @@ Homepage: http://rochel.info/#graph-rewriting Stability: beta Build-Type: Simple-Synopsis: Two implementations of the SKI combinators as interactive graph rewrite systems-Description: This package serves as an example for how to use the graph-rewriting, graph-rewriting-layout, and graph-rewriting-gl packages to create a graph rewriting system with an interactive, graphical front-end. The SKI combinator calculus is implemented once as an interaction net with combinators that accumulate their arguments, and once in a more direct manner. The sources (of the interaction net implementation) are well documented and serve as a tutorial for implementing your own rewrite system. Start reading in INet/Graph.hs. To run the program run either the "ski-inet" or the "ski-direct" with one of the files from the "examples" directory as an argument. For usage of the GUI see "GraphRewriting.GL.UI".+Synopsis: Two evalutors of the SKI combinator calculus as interactive graph rewrite systems+Description: This package serves as an example for how to use the graph-rewriting, graph-rewriting-layout, and graph-rewriting-gl packages to create a graph rewriting system with an interactive, graphical front-end. The SKI combinator calculus is implemented once as an interaction net with combinators that accumulate their arguments, and once with rules that consume all the arguments at once. The sources (of the interaction net implementation) are well documented and serve as a tutorial for implementing your own rewrite system. Start reading in INet/Graph.hs. To run the program run either the "ski-inet" or the "ski-direct" with one of the files from the "examples" directory as an argument. For usage of the GUI see "GraphRewriting.GL.UI". Category: Compilers/Interpreters, Application Cabal-Version: >= 1.6 Data-Files: examples/*.ski examples/combinator_birds/*.ski@@ -24,14 +24,14 @@ FlexibleContexts MultiParamTypeClasses Build-Depends:- base >= 4.3 && < 4.6,+ base >= 4.3 && < 4.7, base-unicode-symbols >= 0.2 && < 0.3, graph-rewriting >= 0.7 && < 0.8, graph-rewriting-layout >= 0.5 && < 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.6,+ OpenGL >= 2.4 && < 2.10 Executable ski-direct Main-Is: Direct/Main.hs