git.iko.soy/Idris-dev
on 80932ef help sign in
Idris-dev/src/IRTS/JavaScript
6 files
../ AST.hsRemove the empty property 'copyright'. Codegen.hsReplace '-' with '_' in LHS of Node requires LangTransforms.hsRemove the empty property 'copyright'. Name.hsRemove the empty property 'copyright'. PrimOp.hsSome optimisation of case trees Specialize.hsRemove the empty property 'copyright'.