Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
AVA
FloVer
Commits
c40ad60b
Commit
c40ad60b
authored
Jun 29, 2016
by
Heiko Becker
Browse files
Fix Typo
parent
92b1984f
Changes
1
Hide whitespace changes
Inline
Side-by-side
hol/exps.hl
View file @
c40ad60b
...
...
@@ -59,7 +59,7 @@ let eval_err = new_recursive_definition exp_REC
Define real evaluation as stated above:
*)
let eval_real = define
`eval_real (e:(real)exp) (env:num->real) = eval_err e (\x. &0) (\x. &0)`;;
`eval_real (e:(real)exp) (env:num->real) = eval_err e (\x. &0) (\x. &0)
env
`;;
(*
float evaluation is non-deterministic, since the perturbation is existencially quantified
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment