![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| SS_map | 30-Mar-1997 17:49 | 1.6K | |
| SS_map_t | 30-Mar-1997 17:49 | 1.7K | |
| append | 30-Mar-1997 17:49 | 55 | |
| curry_ap | 30-Mar-1997 17:49 | 203 | |
| dc_mod | 30-Mar-1997 17:49 | 307 | |
| dc_schema | 30-Mar-1997 17:49 | 174 | |
| fold | 30-Mar-1997 17:49 | 70 | |
| fold.corr | 27-Sep-2000 01:14 | 105 | |
| gt_mod | 30-Mar-1997 17:49 | 134 | |
| gtsolve | 30-Mar-1997 17:49 | 40 | |
| list | 30-Mar-1997 17:49 | 36 | |
| lte | 30-Mar-1997 17:49 | 112 | |
| map | 30-Mar-1997 17:49 | 69 | |
| map1 | 30-Mar-1997 17:49 | 61 | |
| member | 30-Mar-1997 17:49 | 52 | |
| mergesort | 30-Mar-1997 17:49 | 374 | |
| mergesort_ap | 30-Mar-1997 17:49 | 729 | |
| mergesort_ap_variant | 30-Mar-1997 17:49 | 759 | |
| naive_rev | 30-Mar-1997 17:49 | 126 | |
| ordered | 30-Mar-1997 17:49 | 71 | |
| overlap | 30-Mar-1997 17:49 | 135 | |
| permutation | 30-Mar-1997 17:49 | 176 | |
| quicksort | 30-Mar-1997 17:49 | 330 | |
| select | 30-Mar-1997 17:49 | 65 | |
| subset | 30-Mar-1997 17:49 | 117 | |
| sum | 30-Mar-1997 17:49 | 44 | |