Index of /fp/darcs/proposition

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Data/                   15-Apr-2007 21:16    -   
 Sample.hs               15-Apr-2007 20:28  303   
 Setup.hs                15-Apr-2007 20:28   46   
 Test.hs                 15-Apr-2007 20:28  1.7K  
 _darcs/                 26-May-2010 03:16    -   
 proposition.cabal       04-May-2007 19:30  518   
 push.bat                15-Apr-2007 20:28   85

Apache/2.2.21 (Unix) mod_ssl/2.2.21 OpenSSL/0.9.8y DAV/2 mod_mono/2.10 mod_jk/1.2.32 mod_auth_kerb/5.4 Server at www.cs.york.ac.uk Port 80