A rigorous and consistent foundation for numerical and arithmetic programming
Primary LanguageScalaApache License 2.0Apache-2.0