Leonardo de Moura 3264210d88 chore: helper functions		2020-01-03 12:24:14 -08:00
..
Alternative.lean
Applicative.lean
Conditional.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00
EState.lean	chore: helper functions	2020-01-03 12:24:14 -08:00
Except.lean	fix: more general instance	2020-01-01 09:16:29 -08:00
Functor.lean
Id.lean
Lift.lean
Monad.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00
MonadFail.lean
Option.lean
Reader.lean
State.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00