Skip to content

refactor(Free): move state/reader handlers to Effects.lean

25f5d80
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(Control/Monad): Weakest preconditions and mcvgen for free monads #604

refactor(Free): move state/reader handlers to Effects.lean
25f5d80
Select commit
Loading
Failed to load commit list.