Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
test.tr | 2005-11-22 11:21 | 46 | ||
layout.tr | 2005-11-24 00:31 | 54 | ||
prelude.tr | 2005-11-18 15:04 | 105 | ||
fib.tr | 2005-11-23 17:44 | 231 | ||
bool.tr | 2005-11-23 19:03 | 246 | ||
pair.tr | 2005-11-18 15:04 | 341 | ||
array.tr | 2005-11-23 19:03 | 356 | ||
nat.tr | 2005-11-23 19:03 | 464 | ||
list.tr | 2005-11-23 19:03 | 524 | ||
prim.tr | 2005-11-18 15:04 | 560 | ||
exp.tr | 2005-11-23 19:32 | 824 | ||