Index of /~dolio/agda-share

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[DIR]universes/29-Jun-2013 02:33 -
[DIR]sorting/18-Feb-2011 22:21 -
[DIR]nbe/08-Nov-2012 03:09 -
[DIR]logic/18-Feb-2011 22:21 -
[DIR]injective/18-Feb-2011 22:21 -
[DIR]induction/18-Feb-2011 22:20 -
[DIR]html/04-Feb-2014 06:57 -
[DIR]hoas/18-Feb-2011 22:10 -
[DIR]categorica/18-Feb-2011 22:22 -
[DIR]_darcs/04-Feb-2014 06:57 -
[   ]Zip.agda27-Apr-2010 07:39 2.5K
[   ]ZigZag.agda27-Apr-2010 07:39 10K
[   ]Two.agda12-Jun-2013 20:25 4.8K
[   ]StateAlgebra.agda26-Feb-2011 01:24 5.7K
[   ]SetoidPushout.agda28-Aug-2010 04:54 10K
[   ]SKI.agda26-Sep-2011 04:22 2.1K
[   ]Russell.agda12-Jun-2013 05:55 930
[   ]Regular.agda27-Apr-2010 07:39 9.2K
[   ]Refinement.agda27-Apr-2010 07:39 2.2K
[   ]Rat.agda27-Apr-2010 07:39 1.5K
[   ]PushoutQuotients.agda27-Aug-2010 23:16 3.4K
[   ]ParametricTerminal.agda12-Sep-2010 10:05 3.8K
[   ]ParamInduction.agda04-Apr-2012 18:14 14K
[   ]ParamFunc.agda04-Nov-2010 01:04 3.0K
[   ]PW.agda04-Feb-2014 06:57 1.6K
[   ]PHOASNorm.agda27-Apr-2010 07:39 1.8K
[   ]Ordinal.agda09-Aug-2012 04:09 3.8K
[   ]Newtype.agda27-Apr-2010 07:39 834
[   ]NestPoly.agda27-Apr-2010 07:39 936
[   ]Nest.agda27-Apr-2010 07:39 451
[   ]Negative.agda13-Oct-2011 20:32 259
[   ]MuNu.agda27-Apr-2010 07:39 7.3K
[   ]MFin.agda27-Apr-2010 07:39 1.4K
[   ]Lenses.agda02-Dec-2010 06:06 6.6K
[   ]LICENCE31-Jul-2010 07:02 1.5K
[   ]K.agda15-May-2012 07:19 1.8K
[   ]Interp.agda27-Apr-2010 07:39 3.1K
[   ]Infinite.agda27-Apr-2010 07:39 1.6K
[   ]IndexedMonad.agda27-Apr-2010 07:39 1.8K
[   ]IRSetTheory.agda25-Jul-2010 11:29 11K
[   ]IRHurkens.agda16-Aug-2010 00:11 2.6K
[   ]IOE.agda16-Aug-2010 01:11 3.7K
[   ]Horse.agda27-Apr-2010 07:39 3.1K
[   ]FunView.agda27-Apr-2010 07:39 1.9K
[   ]Free.agda27-Apr-2010 07:39 2.0K
[   ]Foundation.agda27-Apr-2010 07:39 1.8K
[   ]Float.agda19-Oct-2012 06:12 1.3K
[   ]FinalAlgebra.agda02-Oct-2010 02:43 4.4K
[   ]FinLT.agda27-Apr-2010 07:39 1.7K
[   ]FibredImpredicative.agda26-Jan-2012 07:41 2.7K
[   ]Fib.agda27-Apr-2010 07:39 5.5K
[   ]ExistentialCoinduction.agda27-Apr-2010 07:39 2.5K
[   ]EckmannHilton.agda20-May-2010 12:51 3.3K
[   ]Distinct.agda27-Apr-2010 07:39 915
[   ]Diag.agda27-Apr-2010 07:39 2.8K
[   ]DepCat.agda17-Oct-2010 05:28 5.7K
[   ]DecEq.agda23-Jul-2010 05:18 1.7K
[   ]DC.agda02-Oct-2010 11:43 3.9K
[   ]Countable.agda05-Aug-2012 17:12 3.3K
[   ]Coprod.agda30-Mar-2011 01:38 9.1K
[   ]ContAdj.agda22-Jan-2011 07:07 1.7K
[   ]Conat.agda27-Apr-2010 07:39 8.6K
[   ]Coexp.agda15-Mar-2012 01:46 1.3K
[   ]CExp.agda27-Apr-2010 07:39 4.2K
[   ]Bindings.agda08-Jul-2012 05:32 2.3K
[   ]BijectiveIso.agda07-Dec-2011 17:19 1.5K

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