Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Acc.agda | 2009-06-08 09:56 | 1.0K | ||
Example.agda | 2009-06-08 09:56 | 6.8K | ||
List.agda | 2009-06-08 09:56 | 4.2K | ||
Mutual.agda | 2009-06-08 09:56 | 367 | ||
Nat.agda | 2009-06-08 09:56 | 1.8K | ||
Ord.agda | 2009-06-08 09:56 | 190 | ||
Stream.agda | 2009-06-08 09:56 | 1.4K | ||
StructuralOrder.agda | 2009-06-08 09:56 | 858 | ||
Tuple.agda | 2009-06-08 09:56 | 806 | ||
Where.agda | 2009-06-08 09:56 | 334 | ||
comb.agda | 2009-06-08 09:56 | 3.3K | ||
simplified-comb.agda | 2009-06-08 09:56 | 607 | ||