Index of /wadler/papers/angry

      Name                    Last modified      Size  Description
      angry.dvi               2003-10-17 10:44   37K  
      angry.dvi.gz            2003-10-17 10:44   19K  
      angry.ps                2003-10-17 10:44  274K  
      angry.ps.gz             2003-10-17 10:44   60K