git.iko.soy/Idris-dev
on master help sign in
history of385dcbf..master
compare
416251fFixes #1211 : checking default impl in interfaces through parent constraints recursivelymandubian a5671a4changes after reviewAlex Gryzlov ad592cdadd consInjective to Prelude.ListAlex Gryzlov 3ef0740add symmetry, symmetryIn and applyInAlex Gryzlov 998c8f4Elaborator warnings are now correctly reportedJan de Muijnck-Hughes 2af672aRun haskell-stylishNiklas Larsson 2fc1fc6Implement a RWS monad for the C backendNiklas Larsson 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