Name: graph-rewriting-lambdascope
Version: 0.5.11
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
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. This package contains an interactive application, which implements Lambdascope as a port-graph rewriting system. 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.10
Data-Files: examples/*.l examples/*.l
Extra-Source-Files: AUTHORS
Executable lambdascope
Default-Language: Haskell2010
Main-Is: Main.hs
Build-Depends:
base >= 4.9 && < 5,
base-unicode-symbols >= 0.2 && < 0.3,
graph-rewriting >= 0.7.8 && < 0.9,
graph-rewriting-layout >= 0.5.4 && < 0.6,
graph-rewriting-gl >= 0.7.6 && < 0.8,
graph-rewriting-strategies >= 0.2.4 && < 0.3,
mtl >= 1.1 && < 2.3,
parsec >= 3.1 && < 3.2,
GLUT >= 2.2 && < 3,
OpenGL >= 3.0 && < 4,
indentparser >= 0.1 && < 0.2
Default-Extensions:
UnicodeSyntax
Other-Extensions:
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