Our modifications of the Marshall language for exact real arithmetic and examples
Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause