../ Control/Changed IOExcept to IOExcept' (with an FFI param) to work with the new FFI.11 years ago Data/Make Data.String functions available.11 years ago Debug/Add deprecation warning for %elim11 years ago Language/Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def11 years ago Syntax/First renaming attempt12 years ago System/Some Prelude reorganisation11 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago System.idrUpdate System.idr11 years ago base.ipkgMove List quantifiers to base11 years ago