hypotenuse. A rigorous and consistent foundation for numerical and arithmetic programming

github.com/propensive/hypotenuse

Problem

Audience

Updates

No founder updates yet. Check back soon.