../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Clause.hs%error_reduce for more control over errors10 years ago Data.hsFixed unstylized things in Idris and stylize.sh script10 years ago Implementation.hsMerge pull request #3475 from enolan/stylish-travis10 years ago Interface.hsStylize fixes10 years ago Provider.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Quasiquote.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Record.hsAdd RigCount to PPi/Plicity10 years ago Rewrite.hsAdd 'RigCount' to Pi and PVar10 years ago RunElab.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Term.hsStylize fixes10 years ago Transform.hsAdd 'RigCount' to Pi and PVar10 years ago Type.hsFixed unstylized things in Idris and stylize.sh script10 years ago Utils.hsFixed unstylized things in Idris and stylize.sh script10 years ago Value.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago