Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Vec.agda | 2009-06-08 09:56 | 1.1K | ||
Star.agda | 2009-06-08 09:56 | 1.9K | ||
Span.agda | 2009-06-08 09:56 | 2.3K | ||
Prelude.agda | 2009-06-08 09:56 | 1.7K | ||
Nat.agda | 2009-06-08 09:56 | 418 | ||
Modal.agda | 2009-06-08 09:56 | 2.3K | ||
MapTm.agda | 2009-06-08 09:56 | 1.3K | ||
List.agda | 2009-06-08 09:56 | 305 | ||
Lambda.agda | 2009-06-08 09:56 | 2.9K | ||
Fin.agda | 2009-06-08 09:56 | 249 | ||
Examples.agda | 2009-06-08 09:56 | 772 | ||
Elem.agda | 2009-06-08 09:56 | 153 | ||
All.agda | 2009-06-08 09:56 | 170 | ||