Name:           graph-rewriting-lambdascope
Version:        0.4.6
Copyright:      (c) 2010, Jan Rochel
License:        BSD3
License-File:	LICENSE
Author:         Jan Rochel
Maintainer:     jan@rochel.info
Stability:      alpha
Build-Type:     Simple
Synopsis:       Implementation of Lambdascope as an interactive graph-rewriting system
Description:
	Lambdascope is an optimal implementation 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. Examples of lambda terms are supplied in the "examples" directory.
Category:       Graphs, Application
Cabal-Version:  >= 1.6
Data-Files:     examples/*.l

Executable:     lambdascope
Main-Is:        Main.hs
Build-Depends:
	base >= 4 && < 4.3,
	base-unicode-symbols >= 0.2 && < 0.3,
	graph-rewriting >= 0.4.4 && < 0.5,
	graph-rewriting-layout >= 0.4.1 && < 0.5,
	graph-rewriting-gl >= 0.6 && < 0.7,
	parsec >= 2.1 && < 2.2,
	GLUT >= 2.2 && < 2.3,
	OpenGL >= 2.4 && < 2.5,
	IndentParser >= 0.2 && < 0.3
Extensions:
	UnicodeSyntax
	FlexibleInstances
	FlexibleContexts
	MultiParamTypeClasses
GHC-Options:    -fno-warn-duplicate-exports -fwarn-unused-imports
Other-Modules:	 GL Graph Resolver Rules Term