log types.js @ 232:25b800094623

age author description
Tue, 06 Aug 2013 00:17:44 -0700 Mike Pavone Some old changes to the WIP type checker
Thu, 09 Aug 2012 19:26:21 -0700 Mike Pavone Fix variance of lambda parameters
Thu, 09 Aug 2012 19:11:42 -0700 Mike Pavone Remove explicit calls to lazyinit that were no longer necessary.
Thu, 09 Aug 2012 08:09:14 -0700 Mike Pavone Fix paramerized types. Remove debug print calls.
Wed, 08 Aug 2012 09:19:14 -0700 Mike Pavone Some work on parameterized types
Tue, 07 Aug 2012 23:29:21 -0700 Mike Pavone Initial work on type system