#
# ChangeLog for sizechecking/branches/macs
#
# Generated by Trac 1.0.1
# Jun 19, 2025, 12:09:36 AM

Thu, 15 May 2014 19:25:06 GMT gobi [29]
	* sizechecking/branches/macs/Proof.hs (modified)
	* sizechecking/branches/macs/SizedFun.hs (modified)

	move to separate file


Wed, 14 May 2014 22:44:07 GMT gobi [28]
	* sizechecking/branches/macs/Proof.hs (added)
	* sizechecking/branches/macs/Size.hs (modified)
	* sizechecking/branches/macs/SizedFun.hs (modified)
	* sizechecking/branches/macs/Tests/ProofTest.hs (added)
	* sizechecking/branches/macs/Tests/SizedFunTest.hs (moved)

	cleanup


Mon, 05 May 2014 15:10:33 GMT gobi [27]
	* sizechecking/branches/macs/Exp.hs (modified)
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/Ops.hs (modified)
	* sizechecking/branches/macs/Size.hs (modified)
	* sizechecking/branches/macs/SizedFun.hs (added)
	* sizechecking/branches/macs/Tests/BindTest.hs (added)
	* sizechecking/branches/macs/Tests/ExpTest.hs (modified)
	* sizechecking/branches/macs/Tests/SizeTest.hs (modified)
	* sizechecking/branches/macs/sizechecking.cabal (modified)

	new files


Sun, 04 May 2014 20:06:39 GMT gobi [26]
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/Tests/LambdaTest.hs (modified)

	lambda


Sun, 04 May 2014 18:57:47 GMT gobi [25]
	* sizechecking/branches/macs/LICENSE (added)
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/Ops.hs (modified)
	* sizechecking/branches/macs/Size.hs (modified)
	* sizechecking/branches/macs/Tests (moved)
	* sizechecking/branches/macs/sizechecking.cabal (added)

	monad for observable sharing


Sat, 03 May 2014 18:38:40 GMT gobi [24]
	* sizechecking/branches/macs/Exp.hs (modified)
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/SizedExp.hs (deleted)
	* sizechecking/branches/macs/tests/ExpTest.hs (modified)
	* sizechecking/branches/macs/tests/LambdaTest.hs (modified)
	* sizechecking/branches/macs/tests/Main.hs (modified)
	* sizechecking/branches/macs/tests/OpsTest.hs (modified)
	* sizechecking/branches/macs/tests/SizeTest.hs (modified)

	expressions


Sat, 03 May 2014 17:01:55 GMT gobi [23]
	* sizechecking/branches/macs/Exp.hs (modified)
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/Ops.hs (modified)
	* sizechecking/branches/macs/SizedExp.hs (modified)
	* sizechecking/branches/macs/tests/ExpTest.hs (modified)

	expression


Sat, 03 May 2014 14:45:53 GMT gobi [22]
	* sizechecking/branches/macs/Exp.hs (added)
	* sizechecking/branches/macs/Size.hs (added)
	* sizechecking/branches/macs/SizedExp.hs (added)
	* sizechecking/branches/macs/tests/ExpTest.hs (added)
	* sizechecking/branches/macs/tests/OpsTest.hs (modified)
	* sizechecking/branches/macs/tests/SizeTest.hs (added)

	Expressions


Fri, 02 May 2014 15:10:50 GMT gobi [21]
	* sizechecking/branches/macs/Ops.hs (modified)
	* sizechecking/branches/macs/tests/LambdaTest.hs (modified)
	* sizechecking/branches/macs/tests/Main.hs (added)
	* sizechecking/branches/macs/tests/OpsTest.hs (added)

	operators


Fri, 02 May 2014 13:59:29 GMT gobi [20]
	* sizechecking/branches/macs/Lambda.hs (modified)
	* sizechecking/branches/macs/Ops.hs (added)
	* sizechecking/branches/macs/tests/LambdaTest.hs (modified)

	lint and cleanup


Mon, 28 Apr 2014 23:44:14 GMT gobi [19]
	* sizechecking/branches/macs/Lambda.hs (added)
	* sizechecking/branches/macs/tests (added)
	* sizechecking/branches/macs/tests/LambdaTest.hs (added)

	Lambda embedding


Sun, 27 Apr 2014 17:34:17 GMT gobi [18]
	* sizechecking/branches (added)
	* sizechecking/branches/macs (added)
	* sizechecking/trunk (added)
	* sizechecking/trunk/Constraints.hs (moved)
	* sizechecking/trunk/Examples.hs (moved)
	* sizechecking/trunk/LICENSE (moved)
	* sizechecking/trunk/Lambda.hs (moved)
	* sizechecking/trunk/README.html (moved)
	* sizechecking/trunk/README.txt (moved)
	* sizechecking/trunk/Setup.hs (moved)
	* sizechecking/trunk/SizedExp.hs (moved)
	* sizechecking/trunk/Test.hs (moved)
	* sizechecking/trunk/sizechecking.cabal (moved)

	creating a branch