git.iko.soy/Idris-dev
on ddfdb2e help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/renamed <#> to prevent naming conflict Data/Fixed typo, removed some extra whitespace Debug/Add something like Haskell's "error" function. Decidable/Fix visibility of imported things Language/Check target of 'with' is a value (not a function) 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 visibility of imported things base.ipkgAdd something like Haskell's "error" function.