3 results
Alternative faster String representations for Double and Float, String representations for more general numeric types.
Core data structures and operations
Simple type level natural numbers