Index of /darcs/Agda

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Agda.cabal              02-Oct-2008 16:19  8.8K  
[TXT] LICENSE                 02-Oct-2008 16:19  1.1K  
[TXT] Makefile                02-Oct-2008 16:19  5.0K  
[   ] Setup.hs                02-Oct-2008 16:19   75   
[TXT] TODO                    02-Oct-2008 16:19  8.1K  
[DIR] _darcs/                 08-Oct-2008 10:54    -   
[   ] aclocal.m4              02-Oct-2008 16:19   90   
[DIR] benchmark/              02-Oct-2008 16:19    -   
[TXT] configure.ac            02-Oct-2008 16:19  1.3K  
[TXT] darcs32582-new          08-Oct-2008 10:53    0   
[DIR] doc/                    02-Oct-2008 16:19    -   
[DIR] examples/               02-Oct-2008 16:19    -   
[TXT] install-sh              02-Oct-2008 16:19  5.5K  
[DIR] macros/                 02-Oct-2008 16:19    -   
[DIR] mk/                     02-Oct-2008 16:19    -   
[DIR] notes/                  02-Oct-2008 16:19    -   
[DIR] src/                    02-Oct-2008 16:19    -   
[DIR] test/                   02-Oct-2008 16:19    -
Apache/2.0.52 (CentOS) Server at sneezy.cs.nott.ac.uk Port 80