git.iko.soy/Idris-dev
on master help sign in
history ofc6fe987..master
compare
02566bbUpdate CHANGELOG.mdPatrick Hilhorst 180fc75Added Lexer and Parser libraries to contribEdwin Brady 8897f64Merge pull request #3868 from Synthetica9/SortedMapMergeNiklas Larsson 394567bForgot a few `export`sSynthetica9 c0463b7Improve string primitive performanceEdwin Brady 9dc9ecbMerge pull request #3867 from melted/fix_3866Niklas Larsson 5b70287Re-added the changes, one hour of trying to rebase should be enough :PSynthetica9 3c31a7eImprove implementation of toIntNatEdwin Brady 7b1a31aMerge pull request #3865 from rbarreiro/add_more_LTrunc_LZExt_primitivesNiklas Larsson e06a3ecImprovements from PR feedback, more cleanup.Matus Tejiscak 3b3acefadded some missing LTrunc LZExt primitivesRui Barreiro e56b4bdSimplify view definitions.Matus Tejiscak efec5c7Add doc comments.Matus Tejiscak c549f50Add the Sized interface + related utils.Matus Tejiscak 5aaa39eIncrement ibc version numberEdmund Smith 1122194Merge branch 'master' of https://github.com/idris-lang/Idris-dev into issue3796Edmund Smith 3280526Use toUpper to convert NaN and Infinity to C namesEdmund Smith 59bfe8bUse explicit IEEE-friendly marshallingEdmund Smith 9d6855efix typobe5invis 96a982aAdd do-rewritebe5invis a8b73ddUpdate interfaces to remove use of constantsTim McGilchrist 8c3ecb8Docs: ``ElabReflection`` needs explicit enablingStephan Brandauer