git.iko.soy/Idris-dev
on c6fe987 help sign in
c6fe987Fix separate compilationNiklas Larsson 32a05baMerge pull request #3861 from jakwings/unicodeNiklas Larsson 6db4204Merge pull request #3854 from rbarreiro/search_for_includes_in_getIdrisLibDirNiklas Larsson 312094eFix character escaping of codegenJ.W 38484ffMerge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDirRui Barreiro ee64c20changed the docsRui Barreiro b6b28feMerge pull request #3832 from Synthetica9/patch-3Niklas Larsson 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 b36b2fdchanged js backend to look for includes also in getIdrisLibDirRui 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 496acd1Fixed visibility for implementations for SortedSetSynthetica9 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