graph-rewriting-ski 0.5.4 → 0.5.6
raw patch · 2 files changed
+9/−14 lines, 2 filesdep ~basedep ~graph-rewritingdep ~graph-rewriting-gl
Dependency ranges changed: base, graph-rewriting, graph-rewriting-gl
Files
- Common/GL.hs +1/−6
- graph-rewriting-ski.cabal +8/−8
Common/GL.hs view
@@ -19,9 +19,4 @@ drawNode label = do GL.renderPrimitive GL.LineLoop (circle 1 1 20)- drawString label--drawString label = GL.preservingMatrix $ do- GL.translate $ vector2 (-0.3,-0.3)- GL.scale 0.0065 0.0065 (0 ∷ GL.GLdouble)- GL.renderString GL.MonoRoman label+ renderString label
graph-rewriting-ski.cabal view
@@ -1,33 +1,33 @@ Name: graph-rewriting-ski-Version: 0.5.4+Version: 0.5.6 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE Author: Jan Rochel Maintainer: jan@rochel.info+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" 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" command with one of the files in the "examples" directory as an argument. Category: Graphs, Application Cabal-Version: >= 1.6 Data-Files: examples/*.ski examples/combinator_birds/*.ski Library Build-Depends:- base >= 4 && < 4.3,+ base >= 4 && < 4.4, base-unicode-symbols >= 0.2 && < 0.3,- graph-rewriting >= 0.4.4 && < 0.5,+ graph-rewriting >= 0.4.4 && < 0.6, graph-rewriting-layout >= 0.4.2 && < 0.5,- graph-rewriting-gl >= 0.6 && < 0.7,+ graph-rewriting-gl >= 0.6.5 && < 0.7, parsec >= 2.1 && < 2.2, GLUT >= 2.2 && < 2.3, OpenGL >= 2.4 && < 2.5 Executable ski-inet Main-Is: INet/Main.hs- GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-imports+ GHC-Options: -fno-warn-duplicate-exports Other-Modules: Common.GL INet.GL INet.Graph INet.Rules Common.Term Extensions: UnicodeSyntax@@ -37,7 +37,7 @@ Executable ski-direct Main-Is: Direct/Main.hs- GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-imports+ GHC-Options: -fno-warn-duplicate-exports Other-Modules: Common.GL Direct.GL Direct.Graph Direct.Rules Common.Term Extensions: UnicodeSyntax