Fri Apr 11 19:01:59 EDT 2008 Samuel Bronson <naesten@gmail.com> * Improve lambda/pi printing code Only only put as many lambda/pi abstractions on a line as will fit. Use sortKindLike to get the uppercase lambdas for type variables of kind other than *. (For instance, * -> *.) I had to make E.TypeCheck, E.Eval and E.Subst import E.Show with a {-# SOURCE #-} pragma before I could use sortKindLike. (I also had to write the .hs-boot file, of course). Wed Apr 16 19:26:09 EDT 2008 Samuel Bronson <naesten@gmail.com> * Fix kind printing for Lambdas/foralls