../ Logging/Updates to renaming dependent pairs.11 years ago Default.idrChange export qualifier keywords11 years ago Exception.idrImprove `System.Exit` Fixes #3488.10 years ago File.idrUpdated documentation for new file effect, and added to the CHANGELOG.10 years ago Memory.idrPurify Idris of "return"10 years ago Monad.idrChange export qualifier keywords11 years ago Perf.idrPurify Idris of "return"10 years ago Random.idrPurify Idris of "return"10 years ago Select.idrChange export qualifier keywords11 years ago State.idrPurify Idris of "return"10 years ago StdIO.idrChange export qualifier keywords11 years ago System.idrChange export qualifier keywords11 years ago Trans.idrChange export qualifier keywords11 years ago