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

Rework example from paper

parent 3911c0af
......@@ -8,7 +8,7 @@ object ExampleOverview {
def f(x: Real): Real = {
require(-100.0 <= x && x <= 100)
(2.35 + x) * x
(2.35 + 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