https://github.com/joelburget/constructive-reals

Real numbers with decidable equality
https://github.com/joelburget/constructive-reals

Last synced: 2 months ago
JSON representation

Real numbers with decidable equality

• Host: GitHub
• URL: https://github.com/joelburget/constructive-reals
• Owner: joelburget
• License: other
• Created: 2025-02-16T15:05:52.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2025-02-27T16:47:19.000Z (4 months ago)
• Last Synced: 2025-04-06T21:16:18.763Z (3 months ago)
• Language: OCaml
• Homepage:
• Size: 24.4 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Constructive Reals

OCaml implementation of [Towards an API for the Real Numbers](https://dl.acm.org/doi/pdf/10.1145/3385412.3386037) by Hans-J. Boehm, which provides a real number type with decidable equality in common cases.

## Demo

There's a lightweight calculator demo in calculator.ml, which can be run with `dune exec ./calculator.exe`. (`.exe` is a dune thing, not a Windows thing)