23 Feb
2008
23 Feb
'08
11:51 a.m.
On 2/22/08, Taral <taralx@gmail.com> wrote:
shift :: Prompt r -> ((a -> _) -> r) -> a
(Where _ is either r or forall b. b)
It occurs to me that _ has to be r, otherwise the subcontinuation can escape. -- Taral <taralx@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown