git.iko.soy/Idris-dev
on 562da7b help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Finished making standard library naming consistent Data/Finished making standard library naming consistent Debug/Add documentation in new format for various libs Decidable/Finished making standard library naming consistent Language/Store kind in Pi binders Network/Update Network 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 a prim__systemInfo primitive.