on d0ed56f help sign in
8 files
../ Exception.idrMoved libraries around, removed 'effects' flag File.idrMoved libraries around, removed 'effects' flag Memory.idrAdd 'byReflection' tactic Monad.idrForgot to add Effect.Monad... Random.idrMoved libraries around, removed 'effects' flag Select.idrMoved libraries around, removed 'effects' flag State.idrMoved libraries around, removed 'effects' flag StdIO.idrMoved libraries around, removed 'effects' flag