git.iko.soy/Idris-dev
on 2b0224a help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Delete DecEq Float Language/Add UnknownImplicit error Prelude/Fix totality of chr Builtins.idrRemoved equality from primNames, as it shouldn't be handle specially when adding implicits (the only current use). IO.idrMerge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-records MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrReading from a file shouldn't strip \n prelude.ipkgRename Tactical to Elab