git.iko.soy/Idris-dev
on d25bf25 help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Finished making standard library naming consistent Data/Improved docs for Data.Hash Debug/Add documentation in new format for various libs Decidable/Finished making standard library naming consistent 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.ipkgData.Hash library