graph-rewriting-ski 0.5.6 → 0.5.7
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~base
Dependency ranges changed: base
Files
graph-rewriting-ski.cabal view
@@ -1,5 +1,5 @@ Name: graph-rewriting-ski-Version: 0.5.6+Version: 0.5.7 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE@@ -9,14 +9,14 @@ 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" command with one of the files in the "examples" directory as an argument.+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". Category: Graphs, Application Cabal-Version: >= 1.6 Data-Files: examples/*.ski examples/combinator_birds/*.ski Library Build-Depends:- base >= 4 && < 4.4,+ base >= 4 && < 4.5, base-unicode-symbols >= 0.2 && < 0.3, graph-rewriting >= 0.4.4 && < 0.6, graph-rewriting-layout >= 0.4.2 && < 0.5,