-
Amin Timany authored
In Fμ and Fμ_ref we do support reduction under Fold. In fact `Unfold (Fold v)` is reduced to `v` if and only if v is a variable.
392b7b43
In Fμ and Fμ_ref we do support reduction under Fold. In fact `Unfold (Fold v)` is reduced to `v` if and only if v is a variable.