![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Hofl.ml | 2004-03-17 20:00 | 16K | |
| HoflEnvInterp.ml | 2004-03-29 23:40 | 8.3K | |
| HoflSubstInterp.ml | 2004-03-17 20:00 | 5.5K | |
| IntList.java | 2004-03-18 10:11 | 3.6K | |
| Env.ml | 2004-03-17 20:00 | 1.2K | |
| Process.java | 2004-03-18 10:11 | 1.0K | |
| church.def | 2004-03-17 20:00 | 465 | |
| load-hofl.ml | 2004-03-29 23:40 | 327 | |
| even.pgm | 2004-03-17 20:00 | 161 | |
| expt.pgm | 2004-03-17 20:00 | 155 | |
| even-odd.def | 2004-03-17 20:00 | 124 | |
| simple.def | 2004-03-17 20:00 | 93 | |
| fact.pgm | 2004-03-17 20:00 | 86 | |
| fact.def | 2004-03-17 20:00 | 69 | |