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 | ||