|Version 1 (modified by simonmar@…, 7 years ago) (diff)|
A monomorphic binding operator
Introduce a new binding operator for monomorphic bindings, eg. :=.
- Simpler and more consistent than the M-R
- The reason for having two kinds of binding is subtle and hard to explain to newcomers.
- Still a wart, but an even more visible one.