Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    newtype fixes, coercions for non-recursive newtypes now optional · c94408e5
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 14:24:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * newtype fixes, coercions for non-recursive newtypes now optional
  Sat Aug  5 21:19:58 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * newtype fixes, coercions for non-recursive newtypes now optional
    Fri Jul  7 06:11:48 EDT 2006  kevind@bu.edu
    c94408e5