The Wayback Machine - https://web.archive.org/web/20080320233322/http://www-fp.cs.st-and.ac.uk:80/~eb/darcs/Idris/

Index of /~eb/darcs/Idris

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Idris/                  20-Mar-2008 15:02    -   
 LICENSE                 12-Dec-2007 11:45  1.6K  
 Main.lhs                14-Mar-2008 17:47  5.6K  
 Makefile                20-Mar-2008 13:38  455   
 RunIO.hs                19-Mar-2008 16:14  5.3K  
 Setup.lhs               12-Dec-2007 11:45   52   
 _darcs/                 20-Mar-2008 15:02    -   
 idris.cabal             14-Mar-2008 17:47  2.2K  
 lib/                    19-Mar-2008 16:14    -   
 notes/                  28-Feb-2008 23:30    -   
 samples/                19-Mar-2008 16:14    -

Apache-AdvancedExtranetServer/2.0.48 (Mandrake Linux/6mdk) mod_perl/1.99_11 Perl/v5.8.3 mod_ssl/2.0.48 OpenSSL/0.9.7c PHP/4.3.4 Server at www-fp.dcs.st-and.ac.uk Port 80

Feb	MAR	Dec
	20
2007	2008	2009