git.iko.soy/Idris-dev
on aef8dc1 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Cleaned up an old name change for consistency Language/Error reflection for Fin Prelude/Add docs for module Uninhabited Builtins.idrFix typos in documentation IO.idrFix visibility of imported things MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMove Fin, Vect and So from prelude to base prelude.ipkgMove Fin, Vect and So from prelude to base