#
# ChangeLog for sizechecking
#
# Generated by Trac 1.0.1
# Jun 18, 2025, 7:31:17 PM

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