Sebastian Ullrich a4858bf9f9 Revert "feat: MonadIO now extends MonadExcept IO.Error" ... This reverts commit c0a7495495.		2020-01-25 16:32:06 +01:00
..
FilePath.lean
IO.lean	Revert "feat: MonadIO now extends MonadExcept IO.Error"	2020-01-25 16:32:06 +01:00
IOError.lean	fix: lowercase error messages	2020-01-12 11:05:48 -08:00
Platform.lean