git.iko.soy/Idris-dev
on b3ee2df help sign in
Idris-dev/src/IRTS/JavaScript
6 files
../ AST.hsRemove the empty property 'copyright'. Codegen.hsFix export in Node back end LangTransforms.hsRemove the empty property 'copyright'. Name.hsRemove the empty property 'copyright'. PrimOp.hsSome optimisation of case trees Specialize.hsRemove the empty property 'copyright'.