47f9c7dfix a few typos in Control.ST tutorialAlex Gryzlov9 years ago 4f002e5JSRTS: move templates into JSRTSbe5invis9 years ago 586ea35Merge pull request #3830 from melted/issue_3828Niklas Larsson9 years ago 9ed63a9fix basic008be5invis9 years ago f2bada8Merge pull request #3818 from jdevuyst/masterNiklas Larsson9 years ago a74200cFix allocation of bufferNiklas Larsson9 years ago a1c729cmove into before_installbe5invis9 years ago 78ac52dexplicit specify nodejs version to 6 (current LTS)be5invis9 years ago aac494c...be5invis9 years ago d61f551forgotbe5invis9 years ago fd22f51set nodejs version to 7 in travis CI configbe5invis9 years ago d176fb3Merge pull request #3812 from Synthetica9/patch-2Niklas Larsson9 years ago a16a24foptimize: morebe5invis9 years ago a9c59f0I forgot patternguards :(be5invis9 years ago c504729set back pathbe5invis9 years ago 49215cbadd infobe5invis9 years ago 99f59f1fix temp filebe5invis9 years ago 44f772dRefactorbe5invis9 years ago f5c6f88add IRTS.JavaScript.JsAST from idris-codegen-esbe5invis9 years ago a859f65Merge pull request #3821 from rbarreiro/liftDecls_js_backendNiklas Larsson9 years ago ef9eac6Merge branch 'master' into liftDecls_js_backendRui Barreiro9 years ago 50b1b41Merge pull request #3826 from david-christiansen/feature/present-namesDavid Christiansen9 years ago 6e13c82Support presentations of abstract names in outputDavid Raymond Christiansen9 years ago 48f9a4bfixed LSHL for IT64Rui Barreiro9 years ago 3e86df1added many missing primitives that were in the old backendRui Barreiro9 years ago ffd2db0Fix for evaluation of partial things at the REPLEdwin Brady9 years ago c76582fmoved js code from AST.hs to Runtime-common.jsRui Barreiro9 years ago 1c908c3added import for applicativeRui Barreiro9 years ago 3f2e1afmoved data and typeable deriving of LAlt' to its definitionRui Barreiro9 years ago 415c94cremoved commented codeRui Barreiro9 years ago 348ce0fadded entry to CHANGELOG and fixed deriving instance for LAlt'Rui Barreiro9 years ago cb85d5echanged names to camelcaseRui Barreiro9 years ago 0e01ff0changed let and const to varRui Barreiro9 years ago 8579263remove use of DeriveAnyClassRui Barreiro9 years ago b5715bfMerge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro9 years ago 57fb08erunned stylizeRui Barreiro9 years ago 29e271cMerge pull request #3820 from clayrat/patch-1Niklas Larsson9 years ago 4cf8fd7check for non-negative return values in idris_writeStrAlex Gryzlov9 years ago 1f273b9Don't run the :exec test using the JS code generatorJonas De Vuyst9 years ago fa0d47cAdd test for :exec (+ fix for test/README.md)Jonas De Vuyst9 years ago 788f960[Issue 3774] Have :exec print the value of IO _ expressionsJonas De Vuyst9 years ago 0d541ddMerge pull request #3813 from mmhelloworld/fix/missing-tojson-primfn-casesNiklas Larsson9 years ago 044b51dAdd PrimFn missing cases for portable codegenmmhelloworld9 years ago 3d4b36fUpdate CoList.idrSynthetica99 years ago d98e5f2added LIntFloat ITBig to the js backendRui Barreiro9 years ago b2c56c3added JS_Float to available js foreign argsRui Barreiro9 years ago 3e44eeeremoved dead code return null after thwow for LErrorRui Barreiro10 years ago 487c639fixed LFloatInt primitiveRui Barreiro10 years ago cb4f9e6Merge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro10 years ago e1d16e2added more primitives, all tests passing nowRui Barreiro10 years ago