![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| HoflEnvInterpDynamic..> | 2016-05-11 10:24 | 8.4K | |
| HoflEnvInterp.sml | 2016-05-11 10:23 | 7.9K | |
| Hofl.sml | 2016-05-11 10:23 | 22K | |
| y-examples.hfl | 2016-05-07 12:24 | 718 | |
| load-hofl-env-interp..> | 2016-05-07 12:24 | 210 | |
| sigma.hfl | 2016-05-07 12:24 | 393 | |
| option.hfl | 2016-05-07 12:24 | 209 | |
| list-utils.hfl | 2016-05-07 12:24 | 1.2K | |
| list-example.hfl | 2016-05-07 12:24 | 1.0K | |
| fact.hfl | 2016-05-07 12:24 | 69 | |
| even-odd.hfl | 2016-05-07 12:24 | 123 | |
| env.hfl | 2016-05-07 12:24 | 355 | |
| HoflInterpTest.sml | 2016-05-07 12:24 | 5.3K | |
| y-fact.hfl | 2016-05-07 12:24 | 245 | |
| one-two.hfl | 2016-05-07 12:24 | 551 | |
| load-hofl-interps.sml | 2016-05-07 12:24 | 255 | |
| evens.hfl | 2016-05-07 12:24 | 135 | |
| bindex-interp.hfl | 2016-05-07 12:24 | 2.4K | |
| Env.sml | 2016-05-07 12:24 | 1.5K | |
| sum-of-squared-evens..> | 2016-05-07 12:24 | 1.0K | |
| add-a.hfl | 2016-05-07 12:24 | 80 | |