../ Control/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Data/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Debug/Add documentation in new format for various libs13 years ago Decidable/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Language/Documentation improvements in library12 years ago Network/Documentation improvements in library12 years ago Syntax/First renaming attempt12 years ago System/Finished making standard library naming consistent12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Providers.idrDistinguish postulate providers and type providers at use site12 years ago System.idrFix warning in io003 on clang12 years ago base.ipkgData.Hash library12 years ago