Commit 86741753 authored by Heiko Becker's avatar Heiko Becker
Browse files

Add example from paper

parent 4a5b1841
import daisy.lang._
import Real._
object ExampleOverview {
def f(x: Real): Real = {
require(-100.0 <= x && x <= 100)
(2.35 + x) * x
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment