Index of /wadler/papers/orwell

      Name                    Last modified      Size  Description
      orwell1.pdf             2016-12-13 15:04  720K  
      orwell2.pdf             2016-12-13 15:03  2.4M  
      orwell3.pdf             2016-12-13 15:04  2.0M