![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Algebra.agda | 2011-12-13 12:23 | 13K | |
| Algebra/ | 2011-12-13 12:26 | - | |
| Axiom/ | 2012-03-30 15:13 | - | |
| Category/ | 2011-12-13 12:27 | - | |
| Class/ | 2012-08-04 11:39 | - | |
| Coinduction.agda | 2011-12-13 12:23 | 1.5K | |
| Data/ | 2012-08-01 13:48 | - | |
| ExampleOrd.agda | 2012-08-04 11:39 | 81 | |
| Foreign/ | 2011-12-13 12:27 | - | |
| Function.agda | 2011-12-13 12:23 | 3.1K | |
| Function/ | 2011-12-13 12:27 | - | |
| IO.agda | 2012-03-06 11:45 | 4.2K | |
| IO/ | 2012-03-06 11:45 | - | |
| Induction.agda | 2011-12-13 12:23 | 2.0K | |
| Induction/ | 2012-03-06 11:45 | - | |
| Irrelevance.agda | 2012-03-20 14:49 | 242 | |
| Level.agda | 2011-12-13 12:23 | 862 | |
| Level/ | 2011-12-13 12:23 | - | |
| LineLength.agda | 2012-02-07 15:41 | 1.8K | |
| PrefixCalculator | 2012-10-17 11:00 | 11M | |
| PrefixCalculator.agda | 2012-03-20 14:49 | 3.7K | |
| PrefixCalculator.agda-darcs-backup0 | 2012-03-29 10:49 | 3.7K | |
| Prelude.agda | 2012-03-20 14:49 | 4.8K | |
| PreludeExample2.agda | 2012-03-13 12:14 | 4.4K | |
| Quotient.agda | 2012-03-20 14:49 | 2.4K | |
| Quotient.agda-darcs-backup0 | 2012-04-02 10:27 | 2.4K | |
| Record.agda | 2011-12-13 12:23 | 8.1K | |
| Reflection.agda | 2011-12-13 12:23 | 12K | |
| Relation/ | 2011-12-13 12:27 | - | |
| Size.agda | 2011-12-13 12:23 | 386 | |
| TabsToSpaces | 2012-03-20 14:49 | 0 | |
| TabsToSpaces-darcs-backup0 | 2012-03-29 10:49 | 0 | |
| TabsToSpaces.agda | 2012-03-20 14:49 | 1.6K | |
| TabsToSpaces.agda-darcs-backup0 | 2012-03-29 10:49 | 1.6K | |
| Universe.agda | 2011-12-13 12:23 | 850 | |
| input | 2012-03-20 14:49 | 50 | |
| input-darcs-backup0 | 2012-03-29 10:49 | 50 | |
| input2 | 2012-03-20 14:49 | 49 | |
| input2-darcs-backup0 | 2012-03-29 10:49 | 49 | |