git.iko.soy/Idris-dev
on 5eb8dff help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>') effects/Eliminate with_val by generalizing value oldeffects/Replace 'effects' with neweffects prelude/verified monads are applicatives MakefileReplace 'effects' with neweffects