Leonardo de Moura d5fe509c36 chore(*): remove end after each match-expression ... `end` is not optional anymore		2018-05-04 11:30:06 -07:00
..
alternative.lean	chore(library/init): move logic.lean => core.lean	2018-04-30 09:25:25 -07:00
applicative.lean
combinators.lean	refactor(library/init/control): remove init.meta.name spurious dependency	2018-04-30 11:36:07 -07:00
default.lean
except.lean	chore(*): remove end after each match-expression	2018-05-04 11:30:06 -07:00
functor.lean	refactor(library/init/control): remove init.meta.name spurious dependency	2018-04-30 11:36:07 -07:00
id.lean
lawful.lean
lift.lean
monad.lean
monad_fail.lean
option.lean
reader.lean
state.lean