../ Decidable/Renamed Prelude.Classes to Prelude.Interfaces11 years ago Language/Change "class/instance" keywords11 years ago Prelude/Renamed Prelude.Classes to Prelude.Interfaces11 years ago Builtins.idrMerge pull request #2769 from lenary/annotate-prelude-with-used11 years ago IO.idrChange library and expected test results for Float -> Double change11 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Prelude.idrRenamed Prelude.Classes to Prelude.Interfaces11 years ago prelude.ipkgRenamed Prelude.Classes to Prelude.Interfaces11 years ago