git.iko.soy/Idris-dev
on 6faa1ab help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/First renaming attempt Data/First renaming attempt Debug/Add documentation in new format for various libs Decidable/First renaming attempt Language/Store kind in Pi binders Network/Update Network library Syntax/First renaming attempt System/Updated inline comments to new style function documentation. 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.