git.iko.soy/Idris-dev
on ee32989 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Add missing file(!) effects/Move Fin, Vect and So from prelude to base oldeffects/Replace 'effects' with neweffects prelude/Move Fin, Vect and So from prelude to base MakefileReplace 'effects' with neweffects