Name:		lambdacube
Version:	2008.12.25
License:	BSD3
License-file:	LICENSE
Author:		Lennart Augustsson <lennart@augustsson.net>
Maintainer:	Lennart Augustsson <lennart@augustsson.net>
Category:	Compilers/Interpreters
Synopsis:	A simple lambda cube type checker.
Description:	A simple interactive lambda cube type checker and evaluator.
Build-Depends:	base, pretty, mtl, editline
Build-Type:	Simple
Extra-source-files:
		Makefile
		test.ok
		bool.cube
		char.cube
		either.cube
		exists.cube
		extchar.cube
		list.cube
		listmisc.cube
		maybe.cube
		misc.cube
		nat.cube
		natmisc.cube
		pair.cube
		test.cube
		unit.cube
		void.cube

Executable:	cube
Main-Is:	Cube.hs
Other-modules:	CubeExpr REPL