../ AsPat.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Clause.hsRevert to normalising from WHNF10 years ago Data.hsFixed unstylized things in Idris and stylize.sh script10 years ago Implementation.hsDeal with interfaces in totality differently10 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.hsRevert to normalising from WHNF10 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