Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-02-15 17:29
17f9bef0
View on Github →
feat(category/monad/cont): continuation passing monad (
#728
)
Estimated changes
Created
src/category/monad/cont.lean
added
def
cont_t.map
added
theorem
cont_t.monad_lift_bind
added
def
cont_t.run
added
theorem
cont_t.run_cont_t_map_cont_t
added
theorem
cont_t.run_with_cont_t
added
def
cont_t.with_cont_t
added
def
cont_t
added
def
monad_cont.goto
added
structure
monad_cont.label