lean4-htt/tests
Sebastian Ullrich 70167def6f refactor(init/category/state): replace monad_state_lift with Haskell's MonadState
* does not leak information about the inner monad via out_param
* can be derived from an inner `monad_state` instance
2018-03-20 14:58:37 -07:00
..
lean refactor(init/category/state): replace monad_state_lift with Haskell's MonadState 2018-03-20 14:58:37 -07:00
.gitignore