Index of /~Saizan/fooling

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Bin.agda19-Feb-2011 17:55 1.8K
[   ]Check.agda30-Mar-2011 16:12 13K
[   ]Check2.agda19-Feb-2011 17:55 7.7K
[   ]DepNobby.agda19-Feb-2011 17:55 6.0K
[TXT]FO.lhs19-Feb-2011 17:55 4.6K
[   ]Jigger.agda19-Feb-2011 17:55 778
[TXT]Jigger.lhs19-Feb-2011 17:55 1.7K
[   ]Nobby.agda19-Feb-2011 17:55 2.0K
[   ]Nobby2.agda30-Mar-2011 16:12 2.5K
[   ]PCon.agda19-Feb-2011 17:55 9.2K
[   ]RecConBug.agda19-Feb-2011 17:55 853
[   ]Rot.agda19-Feb-2011 17:55 2.6K
[   ]Sorted.agda19-Feb-2011 17:55 4.4K
[TXT]Spiny.lhs19-Feb-2011 17:55 12K
[   ]Splice.agda19-Feb-2011 17:55 1.7K
[   ]Tree.agda19-Feb-2011 17:55 6.6K
[DIR]_darcs/30-Mar-2011 16:12 -

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