../ base/add System.system documentation9 years ago contrib/Merge pull request #4036 from msmorgan/feature/lexer-lookahead9 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