Fuzion March news have been published: A lot of work going into support for local mutability within otherwise provably pure code.

All the details: https://flang.dev/news/news_024