lean4-htt/stage0
Sebastian Ullrich 8f67db0101 refactor: never implicitly ignore monadic results
Also change `do e; f` to desugar to `e *> f` so that it is affected as well
2020-04-23 11:09:59 -07:00
..
src refactor: never implicitly ignore monadic results 2020-04-23 11:09:59 -07:00
stdlib chore: update stage0 2020-04-09 10:56:17 -07:00