Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    Make newtype Coercion eta-contract if the tails of lhs and rhs match up · fadef64b
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 17:20:17 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make newtype Coercion eta-contract if the tails of lhs and rhs match up
  Sun Aug  6 20:57:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Make newtype Coercion eta-contract if the tails of lhs and rhs match up
    Thu Aug  3 12:26:52 EDT 2006  kevind@bu.edu
    fadef64b