pure-rational (pure/pure-rational) Add to my watchlist 0

pure-rational is a Pure port of Q+Q, Rob Hubbard's rational number library. It contains rational.pure, a collection of utility functions for rational numbers, and rat_interval.pure, a module for doing interval arithmetic needed by rational.pure. These modules are designed to work with the math.pure module (part of the standard Pure library), which contains the definition of Pure's rational type and implements the basic rational arithmetic.

pure-rational is a Pure port of Q+Q, Rob Hubbard's rational number library. It contains rational.pure, a collection of utility functions for rational numbers, and rat_interval.pure, a module for doing interval arithmetic needed by rational.pure. These modules are designed to work with the math.pure module (part of the standard Pure library), which contains the definition of Pure's rational type and implements the basic rational arithmetic.

+ Show more

GitHub

• Details
• Builds
• Installation Stats
• Trac Tickets
• Report an Issue with this port
• API
• Stats FAQ

Statistics for selected duration

2025-Oct-28 to 2025-Nov-27