![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CONFIG | 1996-02-28 06:34 | 139 | |
| TAGS | 1996-02-28 06:36 | 139 | |
| debruijn.elf | 1996-02-28 06:33 | 490 | |
| eval.elf | 1996-02-28 06:32 | 326 | |
| examples.quy | 1996-02-28 06:35 | 505 | |
| feval.elf | 1996-02-28 06:31 | 463 | |
| load.sml | 1996-02-28 06:36 | 357 | |
| map-eval.elf | 1996-02-28 06:32 | 676 | |
| mini-ml.elf | 1996-02-28 06:29 | 219 | |
| trans.elf | 1996-02-28 06:30 | 655 | |