Index of /wadler/papers/gj-tutorial

      Name                    Last modified      Size  Description
      gj-tutorial-a4.pdf      2003-10-17 10:44  4.5M  
      gj-tutorial-a4.pdf.gz   2003-10-17 10:44  631K  
      gj-tutorial-a4.ps       2003-10-17 10:44  349K  
      gj-tutorial-a4.ps.gz    2003-10-17 10:44   73K  
      gj-tutorial-letter.pdf  2003-10-17 10:44  2.8M  
      gj-tutorial-letter.p..> 2003-10-17 10:44  601K  
      gj-tutorial-letter.ps   2003-10-17 10:44  340K  
      gj-tutorial-letter.p..> 2003-10-17 10:44   72K  
      gj-tutorial.dvi         2003-10-17 10:44   61K  
      gj-tutorial.dvi.gz      2003-10-17 10:44   21K