git.iko.soy/Idris-dev
on 59bc1c8 help sign in
59bc1c8Merge pull request #3843 from jackolantern/bits-docNiklas Larsson 2dcdff9Merge pull request #3849 from Garnasha/patch-1Niklas Larsson 929c72dMerge pull request #3855 from rbarreiro/issue_3697Niklas Larsson b71febeMerge branch 'master' of github.com:idris-lang/Idris-dev into issue_3697Rui Barreiro edf03eeMerge pull request #3859 from rbarreiro/test_for_issue_3192Niklas Larsson 1be086fMerge pull request #3841 from be5invis/be5invis-codegen-js-optNiklas Larsson fb55d38added a test for javascript ffi passing functionsRui Barreiro 1f50430added require for the %lib anotations in js backendRui Barreiro ff75058Merge pull request #3852 from Pastafarianist/patch-2Jan de Muijnck-Hughes 81fb4ceFix quotes in Effects introductionDmitry Nikulin a82873bTweaked tutorial on default implicit argsSal Wolffs db3914dAdded documentation for default implicit argumentsSal Wolffs ea2041cAdd IOExcept implementation for ST.ConsoleIOEdwin Brady 64c5f70Merge pull request #3831 from clayrat/patch-2Niklas Larsson 249f087update CHANGELOGbe5invis fcab3cdAdded docstrings for several public functions.JC c2df755JS Codegen : Add call specializebe5invis 4d8350cMerge pull request #3829 from be5invis/be5invis-codegen-js-optNiklas Larsson b60dc36recommit machines.rstAlex Gryzlov 16ee8cffix some more typosAlex Gryzlov 2d5197bRTS: use substr rather than slicebe5invis 47f9c7dfix a few typos in Control.ST tutorialAlex Gryzlov 4f002e5JSRTS: move templates into JSRTSbe5invis 586ea35Merge pull request #3830 from melted/issue_3828Niklas Larsson 9ed63a9fix basic008be5invis f2bada8Merge pull request #3818 from jdevuyst/masterNiklas Larsson a74200cFix allocation of bufferNiklas Larsson a1c729cmove into before_installbe5invis 78ac52dexplicit specify nodejs version to 6 (current LTS)be5invis aac494c...be5invis d61f551forgotbe5invis fd22f51set nodejs version to 7 in travis CI configbe5invis d176fb3Merge pull request #3812 from Synthetica9/patch-2Niklas Larsson a16a24foptimize: morebe5invis a9c59f0I forgot patternguards :(be5invis c504729set back pathbe5invis 49215cbadd infobe5invis 99f59f1fix temp filebe5invis 44f772dRefactorbe5invis f5c6f88add IRTS.JavaScript.JsAST from idris-codegen-esbe5invis 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