tyrbentsen

Functional purification for `Cell` and other types with interior mutability

1

Could you elaborate on whether functional purification can still hold when using types with interior mutability, like 'Cell'? In the following example, `c2` is mutated through `c1`. Is there any...

Swap

1

Hi, I'd like to implement some kind of swap function. But I'm unable to specify multiple conditions in one cell. Is that possible. In case it is, how? Currently I...