Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    Flip direction of newtype coercions, fix some comments · 5e0ea427
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 17:19:19 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Flip direction of newtype coercions, fix some comments
  Sun Aug  6 20:56:23 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Flip direction of newtype coercions, fix some comments
    Thu Aug  3 10:53:37 EDT 2006  kevind@bu.edu
    5e0ea427