Open
Description
Add support for expressions taking a value of validated real numbers, and for expression patches valid over a bounded domain. This is in support of issue #88 for lambda calculus.
Metadata
Metadata
Assignees
Labels
No labels
Add support for expressions taking a value of validated real numbers, and for expression patches valid over a bounded domain. This is in support of issue #88 for lambda calculus.