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