Name:           graph-rewriting-lambdascope
Version:        0.5.9
Copyright:      (c) 2010, Jan Rochel
License:        BSD3
License-File:   LICENSE
Author:         Jan Rochel
Maintainer:     jan@rochel.info
Homepage:       http://rochel.info/#graph-rewriting
Stability:      alpha
Build-Type:     Simple
Synopsis:       Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system
Description:    Lambdascope is an optimal evaluator of the λβ-calculus described in the paper "Lambdascope - Another optimal implementation of the lambda-calculus" by Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Call "lambdascope" with one of the files from the "examples" directory as an argument. For usage of the GUI see "GraphRewriting.GL.UI". Use the "--lmo" flag for leftmost outermost evalution and "--bench" for non-graphical evaluation to weak head normal form.
Category:       Compilers/Interpreters, Application
Cabal-Version:  >= 1.6
Data-Files:     examples/*.l examples/case/*.l
Extra-Source-Files: AUTHORS

Executable lambdascope
  Main-Is:        Main.hs
  Build-Depends:
    base >= 4 && < 5,
    base-unicode-symbols >= 0.2,
    graph-rewriting >= 0.7.8,
    graph-rewriting-layout >= 0.5.4,
    graph-rewriting-gl >= 0.7.6,
    graph-rewriting-strategies >= 0.2.4,
    parsec >= 3.1,
    GLUT >= 2.2,
    OpenGL >= 3.0,
    IndentParser >= 0.2
  Extensions:
    UnicodeSyntax
    FlexibleInstances
    FlexibleContexts
    MultiParamTypeClasses
  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:   GL Graph Resolver Rules Term