Index of /Agda/benchmark

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]tests.mk09-Sep-2011 16:20 1.5K
[TXT]termination-depth-1-against-100.txt23-Mar-2014 22:54 4.7K
[DIR]std-lib/29-Dec-2011 09:55 -
[DIR]proj/02-Sep-2011 12:39 -
[   ]notes23-Mar-2014 16:04 3.3K
[DIR]nofib/22-Nov-2013 10:56 -
[DIR]monad/29-Dec-2011 09:55 -
[DIR]misc/06-Feb-2014 07:59 -
[DIR]logs/23-Mar-2014 22:43 -
[   ]emacs06-May-2012 09:04 2.0K
[DIR]cwf/07-Sep-2011 14:39 -
[DIR]categories/18-Dec-2012 13:02 -
[DIR]ac/06-Feb-2014 07:59 -
[DIR]Syntacticosmos/06-Feb-2014 07:59 -
[   ]Makefile02-Sep-2011 12:39 890
[TXT]Benchmark.hs09-Oct-2012 12:17 5.1K

Apache/2.2.9 (Debian) mod_perl/2.0.4 Perl/v5.10.0 Server at code.haskell.org Port 80