Double/ and Single/ are still used in the intro, although they are no longer implemented. They are also still in the package exports for #:coalton-library/math/real.
It might be worth combing through package definitions at some point for deprecated exports.
Double/
andSingle/
are still used in the intro, although they are no longer implemented. They are also still in the package exports for#:coalton-library/math/real
.It might be worth combing through package definitions at some point for deprecated exports.