Leonardo de Moura 7809274c3a chore: Coe.lean ==> HasCoe.lean		2020-01-28 08:55:22 -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	chore: remove unnecessary method	2020-01-28 08:24:35 -08:00
Functor.lean
Id.lean
Lift.lean	chore: Coe.lean ==> HasCoe.lean	2020-01-28 08:55:22 -08:00
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