git.iko.soy/Idris-dev
on fbcd643 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Check target of 'with' is a value (not a function) effects/added IOExcept handler to FileIO effect oldeffects/Replace 'effects' with neweffects prelude/Move Pair/Sigma into Builtins namespace MakefileReplace 'effects' with neweffects