New syntax for function-valued fields

[mn200]

From Steve Brackin @ Sourceforge:

Translate

<| fld1 x y := E1(x,y); fld2 z := E2(z) |>

to

fldl_fupdate (K (λx y. E1(x,y))) (fld2_fupdate (K (λz. E2(z))) ARB)

The idea is to save the user from having to think in terms of lambda expressions and beta reductions.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.