Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    clean up Coercion kinding functions, rename coercionKindTyConApp · 204e70a4
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 16:46:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * clean up Coercion kinding functions, rename coercionKindTyConApp
  Sun Aug  6 17:37:06 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * clean up Coercion kinding functions, rename coercionKindTyConApp
    Wed Jul 26 10:55:38 EDT 2006  kevind@bu.edu
    204e70a4