![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| array.tr | 2005-11-23 19:03 | 356 | |
| bool.tr | 2005-11-23 19:03 | 246 | |
| exp.tr | 2005-11-23 19:32 | 824 | |
| fib.tr | 2005-11-23 17:44 | 231 | |
| layout.tr | 2005-11-24 00:31 | 54 | |
| list.tr | 2005-11-23 19:03 | 524 | |
| nat.tr | 2005-11-23 19:03 | 464 | |
| pair.tr | 2005-11-18 15:04 | 341 | |
| prelude.tr | 2005-11-18 15:04 | 105 | |
| prim.tr | 2005-11-18 15:04 | 560 | |
| test.tr | 2005-11-22 11:21 | 46 | |