search

cartazio / numbers

Other
29 stars 13 forks source link

Symbolic definition of pi is wrong #16

Open augustss opened 8 years ago

augustss commented 8 years ago

The definition of pi in Data.Number.Symbolic is 'pi = var "pi"', but arguably it should be 'pi = con pi'.