../ base/Added docstrings for several public functions.9 years ago contrib/Add IOExcept implementation for ST.ConsoleIO9 years ago effects/Add usleep from System to Effect.System (#3749)10 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/Prelude: implement Functor for `Pair a`10 years ago pruviloj/Make partial evaluator off by default10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago