flintlang/flint

mutates

Closed this issue · 1 comments

We need a short paper on what both the syntax and how the implementation would work that no longer requires mutates for places the programmer would find surprising.

I have moved the bug related to this from the recent fork to #436 to discuss the programming side of it in particular