expipiplus1/exact-real issues and pull requests

#42 - Make it usable with Data.Complex.

Pull Request - State: open - Opened by Abbath 5 months ago - 1 comment

#41 - Unusable with Data.Complex

Issue - State: open - Opened by Abbath 6 months ago

#40 - Squash warnings for newer GHCs

Pull Request - State: closed - Opened by expipiplus1 about 3 years ago

#39 - Regenerate cabal file with hpack 0.34.4

Pull Request - State: closed - Opened by philderbeast over 3 years ago - 2 comments

#38 - Fewer extra digits in arbitrary reals

Pull Request - State: closed - Opened by expipiplus1 over 3 years ago - 2 comments

#37 - Bump version of checkers dependency

Pull Request - State: closed - Opened by expipiplus1 over 4 years ago - 1 comment

#36 - Small speedups

Pull Request - State: closed - Opened by expipiplus1 over 4 years ago

#35 - Transitivity tests can sometimes fail

Issue - State: closed - Opened by expipiplus1 almost 5 years ago - 3 comments

#34 - Update nix expressions and add nix to ci

Pull Request - State: closed - Opened by expipiplus1 almost 5 years ago

#33 - Switch to cabal-doctest

Pull Request - State: closed - Opened by expipiplus1 almost 5 years ago

#32 - Switch to github actions for CI

Pull Request - State: closed - Opened by expipiplus1 almost 5 years ago - 1 comment

#31 - Add ghc-versioned stack-*.yaml, use 8.2.2 as default, #30.

Pull Request - State: closed - Opened by philderbeast almost 5 years ago - 2 comments

#30 - Bump stack.yaml to a more recent version?

Issue - State: closed - Opened by philderbeast almost 5 years ago - 3 comments

#29 - cabal v2-test exact-real:doctest failure

Issue - State: closed - Opened by philderbeast almost 5 years ago

#28 - Random numbers are not properly distributed.

Issue - State: closed - Opened by expipiplus1 almost 6 years ago - 1 comment

#27 - Update ghc versions on travis

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

#26 - Remove appveyor

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

#25 - Improve nix expressions and add hpack description

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

#24 - Remove dead link to correctness proof from readme

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

#23 - Link to correctness proof dead

Issue - State: closed - Opened by turion over 6 years ago - 2 comments

#22 - The number of elements in some power series could be more tightly bounded.

Issue - State: open - Opened by expipiplus1 over 6 years ago

#21 - Various changes around building and testing

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

#20 - Better test coverage

Issue - State: open - Opened by expipiplus1 over 6 years ago

#19 - Change memoization type

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

#18 - Alternate memoization strategy - Faster, cheaper, less pure?

Issue - State: closed - Opened by Zemyla over 6 years ago - 11 comments

#17 - Publish numeric hierarchy checkers

Issue - State: open - Opened by expipiplus1 almost 7 years ago

#16 - Example in docs does not work (Illegal type)

Issue - State: closed - Opened by listx over 7 years ago - 5 comments

#15 - Make exact-reals work with new packages and ghc 8.0.1

Pull Request - State: closed - Opened by sternenseemann about 8 years ago - 3 comments

#14 - Ghc8

Pull Request - State: closed - Opened by expipiplus1 over 8 years ago - 4 comments

#13 - Add nix package description

Pull Request - State: closed - Opened by expipiplus1 over 8 years ago - 1 comment

#12 - Improve documentation for CReal

Pull Request - State: closed - Opened by expipiplus1 almost 9 years ago

#11 - raise base bounds

Pull Request - State: closed - Opened by expipiplus1 almost 9 years ago

#10 - Update .travis.yml

Pull Request - State: closed - Opened by expipiplus1 almost 9 years ago - 6 comments