git.iko.soy/Idris-dev
on 9dd3e00 help sign in
Idris-dev/src/Idris/Parser
4 files
../ Data.hsAlphabetize and indent imports and LANGUAGE pragmas Expr.hsAlphabetize and indent imports and LANGUAGE pragmas Helpers.hsAlphabetize and indent imports and LANGUAGE pragmas Ops.hsAlphabetize and indent imports and LANGUAGE pragmas