![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| All.agda | 2009-06-08 09:56 | 170 | |
| Elem.agda | 2009-06-08 09:56 | 153 | |
| Examples.agda | 2009-06-08 09:56 | 772 | |
| Fin.agda | 2009-06-08 09:56 | 249 | |
| Lambda.agda | 2009-06-08 09:56 | 2.9K | |
| List.agda | 2009-06-08 09:56 | 305 | |
| MapTm.agda | 2009-06-08 09:56 | 1.3K | |
| Modal.agda | 2009-06-08 09:56 | 2.3K | |
| Nat.agda | 2009-06-08 09:56 | 418 | |
| Prelude.agda | 2009-06-08 09:56 | 1.7K | |
| Span.agda | 2009-06-08 09:56 | 2.3K | |
| Star.agda | 2009-06-08 09:56 | 1.9K | |
| Vec.agda | 2009-06-08 09:56 | 1.1K | |