git.iko.soy/Idris-dev
on 2e645e2 help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>') Data/Fixed typo, removed some extra whitespace Debug/Add something like Haskell's "error" function. Decidable/Renamed VoidElim to void in order to ensure further consistency Language/Check target of 'with' is a value (not a function) Network/Documentation improvements in library Syntax/First renaming attempt System/Finished making standard library naming consistent MakefileModified makefiles to add local IdrisDoc generation. Providers.idrDistinguish postulate providers and type providers at use site System.idrFix warning in io003 on clang base.ipkgAdd something like Haskell's "error" function.