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