../ Isomorphism/First renaming attempt12 years ago Monad/Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')12 years ago Arrow.idrMerge pull request #1795 from japesinator/arrow_classes12 years ago Catchable.idrChange 'module Prelude.Catchable to 'module Control.Catchable'13 years ago Category.idrLibrary changes: Please read details below!13 years ago IOExcept.idrRemove needless Prelude imports13 years ago Isomorphism.idrMove Fin, Vect and So from prelude to base12 years ago