10 results
Numerical spaces.
Core data structures and operations
A numeric prelude
Release with confidence.
A numeric class hierarchy.
Laws and tests for numhask