• chak@cse.unsw.edu.au.'s avatar
    Type tags in import/export lists · 0cfba505
    chak@cse.unsw.edu.au. authored
    Tue Sep 12 16:57:32 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Type tags in import/export lists
      - To write something like GMapKey(type GMap, empty, lookup, insert)
      - Requires -findexed-types
    0cfba505
Name.lhs 13.2 KB