#
# ChangeLog for sizechecking
#
# Generated by Trac 1.0.1
# Jun 19, 2025, 12:02:54 AM

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


Sun, 27 Oct 2013 21:55:17 GMT gobi [17]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Examples.hs (modified)
	* sizechecking/Lambda.hs (modified)
	* sizechecking/Setup.hs (modified)
	* sizechecking/SizedExp.hs (modified)
	* sizechecking/Test.hs (modified)

	copyu


Fri, 16 Nov 2012 16:26:26 GMT gobi [15]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Lambda.hs (modified)
	* sizechecking_branches/L.hs (modified)
	* sizechecking_branches/LL.hs (modified)
	* sizechecking_branches/SE.hs (added)
	* sizechecking_branches/SVB.hs (added)

	new solver


Fri, 16 Nov 2012 10:38:01 GMT gobi [14]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Examples.hs (modified)
	* sizechecking/SizedExp.hs (modified)

	removing some debug


Thu, 15 Nov 2012 01:02:20 GMT gobi [13]
	* sizechecking/README.html (modified)

	fixing readme


Thu, 15 Nov 2012 00:44:36 GMT gobi [12]
	* sizechecking/Examples.hs (modified)
	* sizechecking/Lambda.hs (modified)
	* sizechecking/SizedExp.hs (modified)

	code cleanup


Thu, 15 Nov 2012 00:16:02 GMT gobi [11]
	* sizechecking/Examples.hs (modified)
	* sizechecking/LICENSE (added)
	* sizechecking/NC.hs (deleted)
	* sizechecking/README.html (modified)
	* sizechecking/README.txt (modified)
	* sizechecking/Setup.hs (added)
	* sizechecking/SizedExp.hs (modified)
	* sizechecking/Test.hs (added)
	* sizechecking/sizechecking.cabal (added)

	cabal file


Wed, 14 Nov 2012 20:45:28 GMT gobi [10]
	* sizechecking/Examples.hs (modified)
	* sizechecking_branches (added)
	* sizechecking_branches/L.hs (moved)
	* sizechecking_branches/LL.hs (added)

	adding a new implementation of Lambda


Wed, 14 Nov 2012 08:02:20 GMT gobi [9]
	* sizechecking/L.hs (modified)

	finishing arrow type


Tue, 13 Nov 2012 23:27:26 GMT gobi [8]
	* sizechecking/L.hs (modified)

	new arrow types


Tue, 13 Nov 2012 16:36:11 GMT gobi [7]
	* sizechecking/L.hs (added)

	new embedding of Lambda Calculus


Mon, 12 Nov 2012 04:06:50 GMT gobi [6]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Lambda.hs (modified)

	hlint


Tue, 31 Jul 2012 06:49:22 GMT gobi [5]
	* sizechecking (added)
	* sizechecking/Constraints.hs (added)
	* sizechecking/Examples.hs (added)
	* sizechecking/Lambda.hs (added)
	* sizechecking/NC.hs (added)
	* sizechecking/README.html (added)
	* sizechecking/README.txt (added)
	* sizechecking/SizedExp.hs (added)

	size checking