projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
assignment7 tweaks
[lambda.git]
/
hints
/
assignment_7_hint_3.mdwn
diff --git
a/hints/assignment_7_hint_3.mdwn
b/hints/assignment_7_hint_3.mdwn
index
ad6d7ea
..
bfac14e
100644
(file)
--- a/
hints/assignment_7_hint_3.mdwn
+++ b/
hints/assignment_7_hint_3.mdwn
@@
-33,8
+33,8
@@
It will be useful to have a shorthand way of referring to this operation:
let new_peg_and_assign (var_to_bind : char) (d : entity) =
It will be useful to have a shorthand way of referring to this operation:
let new_peg_and_assign (var_to_bind : char) (d : entity) =
- (* we want to return
not
a function that we can bind to a bool dpm *)
- fun (truth_value : bool)
: bool dpm
->
+ (* we want to return a function that we can bind to a bool dpm *)
+ fun (truth_value : bool) ->
fun ((r, h) : assignment * store) ->
(* first we calculate an unused index *)
let new_index = List.length h
fun ((r, h) : assignment * store) ->
(* first we calculate an unused index *)
let new_index = List.length h