Name:           graph-rewriting-ski
Version:        0.6.8
Copyright:      (c) 2010, Jan Rochel
License:        BSD3
License-File:   LICENSE
Author:         Jan Rochel
Maintainer:     jan@rochel.info
Homepage:       https://github.com/jrochel/graph-rewriting
Bug-Reports:    https://github.com/jrochel/graph-rewriting/issues
Build-Type:     Simple
Synopsis:       Two interactive evalutors of the SKI combinator calculus
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.10
Data-Files:     examples/*.ski examples/combinator_birds/*.ski
Extra-Source-Files: AUTHORS

Executable ski-inet
  Default-Language: Haskell2010
  Main-Is:        INet/Main.hs
  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs
  Other-Modules:  Common.GL INet.GL INet.Graph INet.Rules Common.Term
  Default-Extensions: UnicodeSyntax
  Other-Extensions:
    FlexibleInstances
    FlexibleContexts
    MultiParamTypeClasses
  Build-Depends:
    base >= 4.3 && < 5,
    base-unicode-symbols >= 0.2 && < 0.3,
    graph-rewriting >= 0.7.6 && < 0.9,
    graph-rewriting-layout >= 0.5.4 && < 0.6,
    graph-rewriting-gl >= 0.7.6 && < 0.8,
    parsec >= 3.1.0 && < 3.2,
    GLUT >= 2.4 && < 3,
    OpenGL >= 3.0 && < 4

Executable ski-direct
  Default-Language: Haskell2010
  Main-Is:        Direct/Main.hs
  GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs -fno-warn-tabs
  Other-Modules:  Common.GL Direct.GL Direct.Graph Direct.Rules Common.Term
  Default-Extensions: UnicodeSyntax
  Other-Extensions:
    FlexibleInstances
    FlexibleContexts
    MultiParamTypeClasses
  Build-Depends:
    base >= 4.3 && < 5,
    base-unicode-symbols >= 0.2 && < 0.3,
    graph-rewriting >= 0.7.6 && < 0.9,
    graph-rewriting-layout >= 0.5.4 && < 0.6,
    graph-rewriting-gl >= 0.7.6 && < 0.8,
    parsec >= 3.1.0 && < 3.2,
    GLUT >= 2.4 && < 3,
    OpenGL >= 3.0 && < 4