max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/init/control/default): add init.control.combinators

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-07 09:12:53 -08:00
parent 25ffbdda57
commit bfbfe94ac9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
library/init/control/default.lean
View file

@ -7,4 +7,4 @@ prelude
import init.control.applicative init.control.functor init.control.alternative
import init.control.monad init.control.lift
import init.control.state init.control.id init.control.except init.control.reader
import init.control.option
import init.control.option init.control.combinators