git.iko.soy/Idris-dev
on 517dad9 help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/added default definitions for second, ***, &&& 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.