git.iko.soy/Idris-dev
on ec2a48a help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Move Fin, Vect and So from prelude to base 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