on 7fd806a help sign in
Idris-dev/libs
5 folders, 1 file
../ base/Change 'module Prelude.Catchable to 'module Control.Catchable' effects/Added documentation for the effectful file operations. javascript/Remove conflicting fixity declaration oldeffects/Make 'neweffects' the official effects package prelude/Merge pull request #998 from jedesah/substract_fin MakefileRemove oldeffects from build