../ base/Deal with bound variables in recoverableCoverage10 years ago contrib/Hide more features behind %language pragmas10 years ago effects/Improve `System.Exit` Fixes #3488.10 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/Updated Unicode Char documentation10 years ago pruviloj/Improve Pruviloj.Induction.induction error message10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago