max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Control
History
Leonardo de Moura 98348dfe7f feat: add ExceptT.run_bind_lift and ExceptT.bind_throw 
Remove `[simp]` attribute from `ExceptT.run_bind`
2021-02-23 08:17:11 -08:00
..
Basic.lean chore: replace variables in src/ 2021-01-22 14:36:05 +01:00
EState.lean chore: replace variables in src/ 2021-01-22 14:36:05 +01:00
Except.lean feat: add LawfulMonad instance for ExceptT 2021-02-20 17:01:27 -08:00
Id.lean chore: cleanup and style 2020-12-12 10:36:26 -08:00
Lawful.lean feat: add ExceptT.run_bind_lift and ExceptT.bind_throw 2021-02-23 08:17:11 -08:00
Option.lean chore: replace variables in src/ 2021-01-22 14:36:05 +01:00
Reader.lean chore: adjust instance param order 2021-01-13 18:31:41 -08:00
State.lean chore: replace variables in src/ 2021-01-22 14:36:05 +01:00
StateRef.lean chore: replace variables in src/ 2021-01-22 14:36:05 +01:00