name:          LambdaINet
version:       0.2.0.0
homepage:      not available
maintainer:    Paul H. Liu <paul@thev.net>
cabal-version: >= 1.6
build-type:    Simple
category:      Application
synopsis:      Graphical Interaction Net Evaluator for Optimal Evaluation
description:   An experimental evaluator for Interaction Nets that encodes
               optimal and call-by-need strategies based on Lambdascope, with
               an interactive graphical interface based on OpenGL and GLFW.
               See the README in source for more information.
license:       BSD3
license-file:  LICENSE
extra-source-files:
               README

data-dir:      data
data-files:    font.tga

executable LambdaINet
  Main-is:  Main.lhs
  Other-Modules:  Diagram INet Lambda Grid
  Build-Depends:  base >= 3 && < 5, OpenGL, GLFW >= 0.5.0.0, containers >= 0.5.0.0, mtl, transformers, monad-task, GLFW-task, vector
  Hs-Source-Dirs: src
  ghc-options: -rtsopts