22 Feb
2008
22 Feb
'08
5:27 p.m.
On 2/22/08, Taral
reset :: (Prompt r -> r) -> r shift :: Prompt r -> ((a -> _) -> r) -> a
The point of the question is about shift/reset with *these types*. I
know there are implementations with other types.
--
Taral