git.iko.soy/Idris-dev
on 96086d2 help sign in
history ofsrc/IRTS/JavaScript/LangTransforms.hs
all commits
63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes a9eaa61fix_js_unexpected_con_as_globRui Barreiro 3f2e1afmoved data and typeable deriving of LAlt' to its definitionRui Barreiro 415c94cremoved commented codeRui Barreiro 348ce0fadded entry to CHANGELOG and fixed deriving instance for LAlt'Rui Barreiro cb85d5echanged names to camelcaseRui Barreiro 8579263remove use of DeriveAnyClassRui Barreiro 57fb08erunned stylizeRui Barreiro 18fa741removed unused constructorsRui Barreiro dc44b02new javascript backendRui Barreiro