Def Cont

Modification history

2024-05-07 01:05

Mathlib/Control/Monad/Cont.lean

refactor: replace `@[reducible]` with `abbrev` (#12614) …

Deleted Cont View on Github →

2023-06-18 08:20

Mathlib/Control/Monad/Cont.lean

feat: port Control.Monad.Cont (#4981)

Added Cont View on Github →