cartazio / numbers

Other
29 stars 13 forks source link

Data.Number.CReaj doesn't export out CR function #29

Open alexei-kopylov opened 2 years ago

alexei-kopylov commented 2 years ago

CR constructor is not exported so it is impossible to construct a new CReal number by giving the function to for it approximations. For example, how you define Mills constant. Would be good if CR was added to the export list? BTW, I used this package to implement a closed formula to generate n-th prime number. But I had to export CR for that purpose.