![[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 | 1997-03-03 22:52 | 98 | |
| CONFIG2 | 1994-10-20 10:14 | 71 | |
| TAGS | 1996-03-05 10:25 | 1.7K | |
| classical.elf | 1997-03-03 22:54 | 199 | |
| curry-howard.elf | 1997-03-06 12:33 | 1.1K | |
| examples.quy | 1997-03-05 13:34 | 1.1K | |
| lam.elf | 1997-03-06 12:35 | 527 | |
| load.sml | 1994-03-07 22:55 | 178 | |
| natded.elf | 1997-03-04 09:48 | 1.1K | |
| red.elf | 1997-03-08 19:39 | 2.2K | |
| typing.elf | 1997-03-06 12:36 | 899 | |