git.iko.soy/Idris-dev
on master help sign in
history of2fc1fc6..master
compare
2af672aRun haskell-stylishNiklas Larsson e819e6bMerge pull request #3897 from melted/fix_widgetNiklas Larsson 6d2f6b1Fix hackage widgetNiklas Larsson 7b7aa39bump ibcVersionBelleve Invis f3e8934Attempt to resolve unix pkg conflictEdmund Smith 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