#
# ChangeLog for sizechecking
#
# Generated by Trac 1.0.1
# Jun 18, 2025, 7:33:15 PM

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