git.iko.soy/Idris-dev
on master help sign in
history ofsrc/IRTS/JavaScript/LangTransforms.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 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