Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Hofl.ml | 2004-04-01 08:09 | 16K | ||
HoflEnvInterp.ml | 2004-03-29 23:40 | 8.3K | ||
HoflSubstInterp.ml | 2004-03-17 09:53 | 5.5K | ||
Env.ml | 2004-03-17 06:47 | 1.2K | ||
church.def | 2004-03-17 06:47 | 465 | ||
load-hofl.ml | 2004-03-08 08:17 | 331 | ||
even.pgm | 2004-03-17 06:47 | 161 | ||
expt.pgm | 2004-03-17 20:00 | 155 | ||
even-odd.def | 2004-03-17 06:47 | 124 | ||
simple.def | 2004-03-17 20:00 | 93 | ||
fact.pgm | 2004-03-17 06:47 | 86 | ||
fact.def | 2004-03-17 06:47 | 69 | ||