Closed mattbierner closed 10 years ago
Since regular let was updated to not have bindings see their own binding, let rec style bindings are also needed.
Syntax:
let fac := \n -> ?n :n * fac(n -1) :1 in fac(10);
Both regular and recursive bindings can be used in the same let expression.
Since regular let was updated to not have bindings see their own binding, let rec style bindings are also needed.