![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BijectiveIso.agda | 07-Dec-2011 17:19 | 1.5K | |
| Bindings.agda | 08-Jul-2012 05:32 | 2.3K | |
| CExp.agda | 27-Apr-2010 07:39 | 4.2K | |
| Coexp.agda | 15-Mar-2012 01:46 | 1.3K | |
| Conat.agda | 27-Apr-2010 07:39 | 8.6K | |
| ContAdj.agda | 22-Jan-2011 07:07 | 1.7K | |
| Coprod.agda | 30-Mar-2011 01:38 | 9.1K | |
| Countable.agda | 05-Aug-2012 17:12 | 3.3K | |
| DC.agda | 02-Oct-2010 11:43 | 3.9K | |
| DecEq.agda | 23-Jul-2010 05:18 | 1.7K | |
| DepCat.agda | 17-Oct-2010 05:28 | 5.7K | |
| Diag.agda | 27-Apr-2010 07:39 | 2.8K | |
| Distinct.agda | 27-Apr-2010 07:39 | 915 | |
| EckmannHilton.agda | 20-May-2010 12:51 | 3.3K | |
| ExistentialCoinduction.agda | 27-Apr-2010 07:39 | 2.5K | |
| Fib.agda | 27-Apr-2010 07:39 | 5.5K | |
| FibredImpredicative.agda | 26-Jan-2012 07:41 | 2.7K | |
| FinLT.agda | 27-Apr-2010 07:39 | 1.7K | |
| FinalAlgebra.agda | 02-Oct-2010 02:43 | 4.4K | |
| Float.agda | 19-Oct-2012 06:12 | 1.3K | |
| Foundation.agda | 27-Apr-2010 07:39 | 1.8K | |
| Free.agda | 27-Apr-2010 07:39 | 2.0K | |
| FunView.agda | 27-Apr-2010 07:39 | 1.9K | |
| Horse.agda | 27-Apr-2010 07:39 | 3.1K | |
| IOE.agda | 16-Aug-2010 01:11 | 3.7K | |
| IRHurkens.agda | 16-Aug-2010 00:11 | 2.6K | |
| IRSetTheory.agda | 25-Jul-2010 11:29 | 11K | |
| IndexedMonad.agda | 27-Apr-2010 07:39 | 1.8K | |
| Infinite.agda | 27-Apr-2010 07:39 | 1.6K | |
| Interp.agda | 27-Apr-2010 07:39 | 3.1K | |
| K.agda | 15-May-2012 07:19 | 1.8K | |
| LICENCE | 31-Jul-2010 07:02 | 1.5K | |
| Lenses.agda | 02-Dec-2010 06:06 | 6.6K | |
| MFin.agda | 27-Apr-2010 07:39 | 1.4K | |
| MuNu.agda | 27-Apr-2010 07:39 | 7.3K | |
| Negative.agda | 13-Oct-2011 20:32 | 259 | |
| Nest.agda | 27-Apr-2010 07:39 | 451 | |
| NestPoly.agda | 27-Apr-2010 07:39 | 936 | |
| Newtype.agda | 27-Apr-2010 07:39 | 834 | |
| Ordinal.agda | 09-Aug-2012 04:09 | 3.8K | |
| PHOASNorm.agda | 27-Apr-2010 07:39 | 1.8K | |
| ParamFunc.agda | 04-Nov-2010 01:04 | 3.0K | |
| ParamInduction.agda | 04-Apr-2012 18:14 | 14K | |
| ParametricTerminal.agda | 12-Sep-2010 10:05 | 3.8K | |
| PushoutQuotients.agda | 27-Aug-2010 23:16 | 3.4K | |
| Rat.agda | 27-Apr-2010 07:39 | 1.5K | |
| Refinement.agda | 27-Apr-2010 07:39 | 2.2K | |
| Regular.agda | 27-Apr-2010 07:39 | 9.2K | |
| SKI.agda | 26-Sep-2011 04:22 | 2.1K | |
| SetoidPushout.agda | 28-Aug-2010 04:54 | 10K | |
| StateAlgebra.agda | 26-Feb-2011 01:24 | 5.7K | |
| ZigZag.agda | 27-Apr-2010 07:39 | 10K | |
| Zip.agda | 27-Apr-2010 07:39 | 2.5K | |
| _darcs/ | 08-Nov-2012 03:09 | - | |
| categorica/ | 18-Feb-2011 22:22 | - | |
| hoas/ | 18-Feb-2011 22:10 | - | |
| html/ | 19-Oct-2012 06:13 | - | |
| induction/ | 18-Feb-2011 22:20 | - | |
| injective/ | 18-Feb-2011 22:21 | - | |
| logic/ | 18-Feb-2011 22:21 | - | |
| nbe/ | 08-Nov-2012 03:09 | - | |
| sorting/ | 18-Feb-2011 22:21 | - | |
| universes/ | 18-Feb-2011 22:22 | - | |