fix big-lambda eta expansion, add comments
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:54:54 +0000 (17:54 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:54:54 +0000 (17:54 +0000)
commit8c9cfd756219ed60ebcdf5cd370a3d083fd7e4b8
tree9b9161c3b5a569ef229641801ef4597b5e4c4c5a
parent57350a2e43e55629e6ce8ed697f66adda0911a80
fix big-lambda eta expansion, add comments
Mon Sep 18 17:02:49 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * fix big-lambda eta expansion, add comments
  Sun Aug  6 20:07:36 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * fix big-lambda eta expansion, add comments
    Fri Jul 28 13:16:51 EDT 2006  kevind@bu.edu
compiler/coreSyn/CoreUtils.lhs
compiler/simplCore/Simplify.lhs