git.iko.soy/Idris-dev
on 348ddce help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Merge pull request #1795 from japesinator/arrow_classes Data/Fixed typo, removed some extra whitespace Debug/Add something like Haskell's "error" function. Decidable/Error reflection for Fin Language/Error reflection for Fin Network/Error reflection for Fin 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.ipkgError reflection for Fin