#
# ChangeLog for /
#
# Generated by Trac 1.0.1
# Jun 18, 2025, 1:04:45 PM

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


Fri, 04 May 2012 10:49:23 GMT artyom [4]
	* liblaziness (added)
	* liblaziness/Makefile (added)
	* liblaziness/assert.h (added)
	* liblaziness/binmemoise.h (added)
	* liblaziness/bintree.h (added)
	* liblaziness/delegate.h (added)
	* liblaziness/functional.h (added)
	* liblaziness/lambda_trait.h (added)
	* liblaziness/lazy.h (added)
	* liblaziness/lazy_op.h (added)
	* liblaziness/list.h (added)
	* liblaziness/primitive.h (added)
	* liblaziness/r.h (added)
	* liblaziness/r.io.h (added)
	* liblaziness/show.h (added)
	* liblaziness/test (added)
	* liblaziness/test/Makefile (added)
	* liblaziness/test/fib.h (added)
	* liblaziness/test/test_base.cc (added)
	* liblaziness/test/test_base.h (added)
	* liblaziness/test/test_lazy.cc (added)
	* liblaziness/test/test_list.cc (added)
	* liblaziness/test/test_r.cc (added)

	liblaziness


Wed, 08 Feb 2012 01:27:20 GMT gobi [3]
	* cppstreams/stream.h (modified)
	* cppstreams/test_change.cc (modified)
	* cppstreams/test_common.h (modified)
	* cppstreams/test_fibonacci.cc (modified)
	* cppstreams/test_function.cc (modified)
	* cppstreams/test_literals.cc (modified)
	* cppstreams/test_override.cc (modified)

	license


Wed, 25 Jan 2012 01:22:57 GMT gobi [2]
	* cppstreams (added)
	* cppstreams/Makefile (added)
	* cppstreams/stream.h (added)
	* cppstreams/test_change.cc (added)
	* cppstreams/test_common.h (added)
	* cppstreams/test_fibonacci.cc (added)
	* cppstreams/test_function.cc (added)
	* cppstreams/test_literals.cc (added)
	* cppstreams/test_override.cc (added)

	import


Mon, 23 Jan 2012 04:34:29 GMT gobi [1]
	* test (added)