../ Decidable/Cleaned up an old name change for consistency12 years ago Language/Add "rewrite" to new-style tactics12 years ago Prelude/Add <$> as an alias for map12 years ago Builtins.idrPair syntax for unique types12 years ago IO.idrAdd %used pragma12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Prelude.idrChanged (<$>) to (<*>)12 years ago prelude.ipkgBegin implementation of reflected elab monad12 years ago