Wed Aug 19 20:03:57 CEST 2009
- linear lists (partial continuations) should not be recognized by
`run' -> use `run-list' or so.
Map: This can't be a primitive, but I prefer to make it fast (local),
which could be done by modifying the continuation from the primitive.
It needs 3 storage locations: in out fn
- move result to OUT
- replace with next from IN
- push FN to K
What I really need is a better way to express all these stack
Dip: there's a problem here: quote isn't a linear atom, so it should
be handled by undip.