Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    Make data con wrappers for GADTs express the user type directly · c58414c7
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 16:44:29 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make data con wrappers for GADTs express the user type directly
  Sun Aug  6 17:24:17 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Make data con wrappers for GADTs express the user type directly
    Wed Jul 26 08:19:09 EDT 2006  simonpj@microsoft.com
    c58414c7