git.iko.soy/Idris-dev
on 562da7b help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Finished making standard library naming consistent effects/Finished making standard library naming consistent oldeffects/Replace 'effects' with neweffects prelude/Finished making standard library naming consistent MakefileReplace 'effects' with neweffects