[<<][compsci][>>][..]
Mon Aug 22 22:36:37 CEST 2011

NOT & CPS

With a' == not a, why is?

        a'  ==  a => f

Because

    a => b  ==  'a v b

So double negation a'' == ((a => f) => f)

This is related to the type of a function that takes a continuation
argument.

    ((a -> r) -> r)

See Oleg's explanation[1].


[1] http://okmij.org/ftp/continuations/undelimited.html



[Reply][About]
[<<][compsci][>>][..]