../ base/add System.system documentation9 years ago contrib/use liftA2 to implement zipWith for Maybe and Either9 years ago effects/Make a few Show instances parenthesise properly9 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/move `startWith` from prelude to contrib9 years ago pruviloj/Make a few Show instances parenthesise properly9 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago