git.iko.soy/Idris-dev
on 2e645e2 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/Define Show instance for Vect via toList. MakefileReplace 'effects' with neweffects