This is a general page about continuations λk. k(true)\lambda k.\, k(\mathsf{true})λk.k(true).
λk.k(true)\lambda k. k(true) λk.k(true)
Something something Chris Wadsworth and Oxford.
they can be used for that
they can be used for that too!!!