Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / andrejbauer/marshall issues and pull requests

#12 - Fix Newton approximation rounding the wrong way

Pull Request - State: closed - Opened by bmsherman almost 6 years ago

#11 - Fix rounding error in interval power computation

Pull Request - State: closed - Opened by bmsherman almost 6 years ago - 1 comment

#10 - Evaluate tuples in the correct order

Pull Request - State: closed - Opened by bmsherman over 6 years ago - 3 comments

#9 - Fix error in normalization due to lack of alpha renaming

Pull Request - State: closed - Opened by bmsherman over 6 years ago

#8 - Print Sierpinski space as `prop`, which is how it is parsed

Pull Request - State: closed - Opened by bmsherman almost 7 years ago - 2 comments

#7 - Print tuples in the correct order

Pull Request - State: closed - Opened by bmsherman almost 7 years ago - 1 comment

#6 - Fix error in computing rational Dedekind cuts

Pull Request - State: closed - Opened by bmsherman over 8 years ago

#5 - added a Applicative instance, and removed some Tab from Interval.hs

Pull Request - State: closed - Opened by dasimmet over 9 years ago

#4 - ghc 7.10

Issue - State: closed - Opened by dasimmet over 9 years ago - 1 comment

#3 - newton + alpha

Pull Request - State: closed - Opened by comius over 11 years ago

#2 - Small fix

Pull Request - State: closed - Opened by ericyu3 over 12 years ago

#1 - Update ocaml/COPYRIGHT.txt

Pull Request - State: closed - Opened by comius over 12 years ago