git.iko.soy/Idris-dev
on b0899cc 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