![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| About.txt | 30-Jul-2010 17:19 | 340 | |
| Choice.agda | 30-Jul-2010 17:19 | 1.2K | |
| Equality.agda | 30-Jul-2010 17:19 | 1.3K | |
| Induction.agda | 30-Jul-2010 17:19 | 1.2K | |
| J-Eliminations.agda | 30-Jul-2010 17:19 | 1.9K | |
| J-Induction.agda | 30-Jul-2010 17:19 | 579 | |
| JK-Algebras.agda | 30-Jul-2010 17:19 | 5.6K | |
| JK-Choice.agda | 30-Jul-2010 17:19 | 4.0K | |
| JK-EM.agda | 28-Jan-2011 22:45 | 710 | |
| JK-Miscelanea.agda | 30-Jul-2010 17:19 | 1.8K | |
| JK-Monads.agda | 30-Jul-2010 17:19 | 6.0K | |
| JK-Shifts.agda | 13-Aug-2010 00:07 | 4.6K | |
| Logic.agda | 30-Jul-2010 17:19 | 1.4K | |
| LogicalFacts.agda | 30-Jul-2010 17:19 | 871 | |
| clean | 13-Aug-2010 00:07 | 21 | |
| course-of-values-J-shift.agda | 30-Jul-2010 17:19 | 1.6K | |
| course-of-values.agda | 30-Jul-2010 17:19 | 831 | |
| finite-sets.agda | 30-Jul-2010 17:19 | 3.7K | |