git.iko.soy/Idris-dev
on c87ea77 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 documentation in new format for various libs Decidable/Renamed VoidElim to void in order to ensure further consistency Language/Documentation improvements in library 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.ipkgUpdate base.ipkg