git.iko.soy/Idris-dev
on 85cf83f help sign in
Idris-dev/libs/base
8 folders, 4 files
../ Control/Move Fin, Vect and So from prelude to base Data/Add missing file(!) Debug/Add something like Haskell's "error" function. Decidable/Move Fin, Vect and So from prelude to base 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.ipkgMove Fin, Vect and So from prelude to base