# # ChangeLog for / # # Generated by Trac 1.0.1 # Jun 18, 2025, 5:40:45 PM 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 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 Wed, 05 Dec 2012 22:26:54 GMT gobi [16] * cppstreams/stream.h (modified) * cppstreams/test_fibonacci.cc (modified) fixing spaces, tabs 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 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)