Index of /wadler/papers/facs3

      Name                    Last modified      Size  Description
      facs3.dvi               2003-10-17 10:44  5.9K  
      facs3.dvi.gz            2003-10-17 10:44  3.2K  
      facs3.ps                2003-10-17 10:44   49K  
      facs3.ps.gz             2003-10-17 10:44   15K