comius/eff
A functional programming language based on algebraic effects and their handlers.
Real number computation software
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A functional programming language based on algebraic effects and their handlers.
Computation with back propagation of precision in eff