git.iko.soy/Idris-dev
on cf47310 help sign in
history ofsrc/IRTS/CodegenJavaScript.hs
all commits
e14541cjavascript: assign HOFs properlyraichoo 32377c4javascript: fix semicolonsraichoo 2613689javascript: make FFI work with HOFsraichoo fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders dd35175javascript: fix ptr handlingraichoo 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