git.iko.soy/Idris-dev
on 16ee8cf help sign in
16ee8cffix some more typosAlex Gryzlov 47f9c7dfix a few typos in Control.ST tutorialAlex Gryzlov 586ea35Merge pull request #3830 from melted/issue_3828Niklas Larsson f2bada8Merge pull request #3818 from jdevuyst/masterNiklas Larsson a74200cFix allocation of bufferNiklas Larsson d176fb3Merge pull request #3812 from Synthetica9/patch-2Niklas Larsson a859f65Merge pull request #3821 from rbarreiro/liftDecls_js_backendNiklas Larsson ef9eac6Merge branch 'master' into liftDecls_js_backendRui Barreiro 50b1b41Merge pull request #3826 from david-christiansen/feature/present-namesDavid Christiansen 6e13c82Support presentations of abstract names in outputDavid Raymond Christiansen 48f9a4bfixed LSHL for IT64Rui Barreiro 3e86df1added many missing primitives that were in the old backendRui Barreiro ffd2db0Fix for evaluation of partial things at the REPLEdwin Brady c76582fmoved js code from AST.hs to Runtime-common.jsRui Barreiro 1c908c3added import for applicativeRui 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 0e01ff0changed let and const to varRui Barreiro 8579263remove use of DeriveAnyClassRui Barreiro b5715bfMerge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro 57fb08erunned stylizeRui Barreiro 29e271cMerge pull request #3820 from clayrat/patch-1Niklas Larsson 4cf8fd7check for non-negative return values in idris_writeStrAlex Gryzlov 1f273b9Don't run the :exec test using the JS code generatorJonas De Vuyst fa0d47cAdd test for :exec (+ fix for test/README.md)Jonas De Vuyst 788f960[Issue 3774] Have :exec print the value of IO _ expressionsJonas De Vuyst 0d541ddMerge pull request #3813 from mmhelloworld/fix/missing-tojson-primfn-casesNiklas Larsson 044b51dAdd PrimFn missing cases for portable codegenmmhelloworld 3d4b36fUpdate CoList.idrSynthetica9 d98e5f2added LIntFloat ITBig to the js backendRui Barreiro b2c56c3added JS_Float to available js foreign argsRui Barreiro 3e44eeeremoved dead code return null after thwow for LErrorRui Barreiro 487c639fixed LFloatInt primitiveRui Barreiro cb4f9e6Merge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro e1d16e2added more primitives, all tests passing nowRui Barreiro fcbabc2Merge pull request #3804 from melted/fix_idleNiklas Larsson e57e259Do not run idle GCsNiklas Larsson ed5c125Merge pull request #3803 from melted/fix_3801Niklas Larsson e42792fDrop trailing separators when specifying dirs to compilerNiklas Larsson 492d0f6added more primFn to pass bounded testRui Barreiro 18fa741removed unused constructorsRui Barreiro 3fba96bRemember constants when checking recoverabilityEdwin Brady aa0abbcPay attention to 'Force' in totality checkingEdwin Brady f5bae6bEta contract some typesEdwin Brady 63cfb38Reduce logging at level 1Edwin Brady 2cf2f31Missing header in Socket.idrEdwin Brady da46fd6added function name to error message for invalid ffi typesRui Barreiro 1eb6d2cMerge pull request #3799 from BleuShan/expose-contrib-pipelineNiklas Larsson