git.iko.soy/Idris-dev
on ea65347 help sign in
history ofsrc/IRTS/JavaScript/LangTransforms.hs
all commits
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