HaskellType RealSort = Rational
instead of Double
#310
Job | Run time |
---|---|
5m 31s | |
5m 21s | |
3m 54s | |
14m 46s |
HaskellType RealSort = Rational
instead of Double
#310
Job | Run time |
---|---|
5m 31s | |
5m 21s | |
3m 54s | |
14m 46s |