02566bbUpdate CHANGELOG.mdPatrick Hilhorst9 years ago 180fc75Added Lexer and Parser libraries to contribEdwin Brady9 years ago 8897f64Merge pull request #3868 from Synthetica9/SortedMapMergeNiklas Larsson9 years ago 394567bForgot a few `export`sSynthetica99 years ago c0463b7Improve string primitive performanceEdwin Brady9 years ago 9dc9ecbMerge pull request #3867 from melted/fix_3866Niklas Larsson9 years ago 5b70287Re-added the changes, one hour of trying to rebase should be enough :PSynthetica99 years ago c6fe987Fix separate compilationNiklas Larsson9 years ago 3c31a7eImprove implementation of toIntNatEdwin Brady9 years ago 7b1a31aMerge pull request #3865 from rbarreiro/add_more_LTrunc_LZExt_primitivesNiklas Larsson9 years ago e06a3ecImprovements from PR feedback, more cleanup.Matus Tejiscak9 years ago 3b3acefadded some missing LTrunc LZExt primitivesRui Barreiro9 years ago e56b4bdSimplify view definitions.Matus Tejiscak9 years ago 32a05baMerge pull request #3861 from jakwings/unicodeNiklas Larsson9 years ago efec5c7Add doc comments.Matus Tejiscak9 years ago c549f50Add the Sized interface + related utils.Matus Tejiscak9 years ago 6db4204Merge pull request #3854 from rbarreiro/search_for_includes_in_getIdrisLibDirNiklas Larsson9 years ago 312094eFix character escaping of codegenJ.W9 years ago 5aaa39eIncrement ibc version numberEdmund Smith9 years ago 1122194Merge branch 'master' of https://github.com/idris-lang/Idris-dev into issue3796Edmund Smith9 years ago 38484ffMerge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDirRui Barreiro9 years ago ee64c20changed the docsRui Barreiro9 years ago b6b28feMerge pull request #3832 from Synthetica9/patch-3Niklas Larsson9 years ago 59bc1c8Merge pull request #3843 from jackolantern/bits-docNiklas Larsson9 years ago 2dcdff9Merge pull request #3849 from Garnasha/patch-1Niklas Larsson9 years ago 929c72dMerge pull request #3855 from rbarreiro/issue_3697Niklas Larsson9 years ago b71febeMerge branch 'master' of github.com:idris-lang/Idris-dev into issue_3697Rui Barreiro9 years ago edf03eeMerge pull request #3859 from rbarreiro/test_for_issue_3192Niklas Larsson9 years ago 1be086fMerge pull request #3841 from be5invis/be5invis-codegen-js-optNiklas Larsson9 years ago fb55d38added a test for javascript ffi passing functionsRui Barreiro9 years ago 1f50430added require for the %lib anotations in js backendRui Barreiro9 years ago b36b2fdchanged js backend to look for includes also in getIdrisLibDirRui Barreiro9 years ago 3280526Use toUpper to convert NaN and Infinity to C namesEdmund Smith9 years ago 59bfe8bUse explicit IEEE-friendly marshallingEdmund Smith9 years ago ff75058Merge pull request #3852 from Pastafarianist/patch-2Jan de Muijnck-Hughes9 years ago 81fb4ceFix quotes in Effects introductionDmitry Nikulin9 years ago a82873bTweaked tutorial on default implicit argsSal Wolffs9 years ago db3914dAdded documentation for default implicit argumentsSal Wolffs9 years ago ea2041cAdd IOExcept implementation for ST.ConsoleIOEdwin Brady9 years ago 9d6855efix typobe5invis9 years ago 96a982aAdd do-rewritebe5invis9 years ago 64c5f70Merge pull request #3831 from clayrat/patch-2Niklas Larsson9 years ago 249f087update CHANGELOGbe5invis9 years ago fcab3cdAdded docstrings for several public functions.JC9 years ago c2df755JS Codegen : Add call specializebe5invis9 years ago 4d8350cMerge pull request #3829 from be5invis/be5invis-codegen-js-optNiklas Larsson9 years ago b60dc36recommit machines.rstAlex Gryzlov9 years ago 16ee8cffix some more typosAlex Gryzlov9 years ago 2d5197bRTS: use substr rather than slicebe5invis9 years ago 496acd1Fixed visibility for implementations for SortedSetSynthetica99 years ago