git.iko.soy/Idris-dev
on 228ffdb help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
b96f162javascript: fix wrong array handlingraichoo b2f2be4javascript: extracted common runtimeraichoo c020e50javascript: split javascript and node targetraichoo a4178c0javascript: fixed broken mergeraichoo d02610ajavascript: special handling for space and underscore in identifiersraichoo fe570cbjavascript: filter all nonascii letters from identifiersraichoo 2407cbbjavascript: check for keywords as identifiersraichoo 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady ca5660djavascript: move runtime into own namespaceraichoo c48896fjavascript: google closure fixesraichoo f907f8ajavascript: remove name from constructorsraichoo 3fdf1a0javascript: move runtime into own js fileraichoo c7829ffjavascript: fold modulesraichoo 98a17bbjavascript: refactored FFI and added array operationsraichoo 1a57a4ajavascript: enhanced FFI (methods and mutations)raichoo 7d8b2c3javascript: added pointer for raw JS dataraichoo c663f57javascript: string lengthraichoo 482a723javascript: satisfy hlintraichoo 2cf42b5javascript: added char conversionsraichoo c1420f0javascript: more name fixesraichoo 8e95553javascript: removed redundant anonymous functionraichoo 9b75fadjavascript: added more primitivesraichoo 3267cadjavascript: big integersraichoo 45adecejavascript: added more typesraichoo ba9b358javascript: pattern guards for typematchingraichoo 2d8357djavascript: shorter namesraichoo dd1ca20javascript: fix for test007raichoo b458c70javascript: fix & in namesraichoo c79e46cjavascript: match on typesraichoo 2729962javascript: fixed times-operator in namesraichoo 22ce6bfjavascript: added StrCons primitiveraichoo 0cea6e6javascript: fixed streq bugraichoo 5c51429javascript: strHead & strTail primitivesraichoo 1b2fd0ajavascript: fixed commas in nameraichoo fc72370javascript: fixed parens in namesraichoo 78521b6javascript: added string equalityraichoo cc883a4javascript: fixed parameter translationraichoo 1b87e09javascript: added print functionraichoo c03e1b2javascript: fix comparesraichoo 10f1d1ejavascript: tailcalls without exceptionsraichoo 468f0d5javascript: abstracted tailcallsraichoo 58b10e1javascript: use runMain0 instead of mainraichoo e1898cbjavascript: tailcallsraichoo 59be497javascript backendraichoo 06fffa3JavaScript stuff.Irene Knapp