git.iko.soy/Idris-dev
on 475eb57 help sign in
Idris-dev/libs
5 folders, 1 file
../ base/Remove trailing whitespace. effects/Add laziness to values which aren't evaluated in all branches of a function. javascript/Remove conflicting fixity declaration oldeffects/Add laziness to values which aren't evaluated in all branches of a function. prelude/Make `and`, `or`, `any`, and `all` short-circuit from left-to-right, as is more natural. MakefileRemove oldeffects from build