name:          LambdaINet
version:       0.1.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 stragtegies 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
  Build-Depends:  base >= 3 && < 5, OpenGL, GLFW, containers, mtl
  Hs-Source-Dirs: src