Index of /~dolio/agda-share/universes

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]CoC.agda13-Jun-2010 22:34 2.6K
[   ]Data.agda06-Jun-2010 02:46 885
[   ]DataHierarchy.agda06-Jun-2010 02:46 1.8K
[   ]HM.agda11-Jun-2010 20:06 1.7K
[   ]Hierarchy.agda29-Jun-2013 02:33 2.1K
[   ]IRDataHierarchy.agda12-Jun-2010 19:21 6.3K
[   ]Meta.agda29-Jun-2013 02:33 3.2K
[   ]NegativeImpredicative.agda11-Jun-2010 20:03 1.2K
[   ]Single.agda02-Aug-2010 20:29 4.7K
[DIR]html/29-Jun-2013 02:33 -

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