git.iko.soy/Idris-dev
on master help sign in
history of69c231c..master
compare
3ef0740add symmetry, symmetryIn and applyInAlex Gryzlov 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