v2.19.0
Floating point types were introduced in v2.18.0, but the MPFR is only available on Linux (currently) so the Windows builds got broken. This release disables float tests on Windows to make the build possible, but of course floats will not be available. Some notes were added to readmes on this.
This release also adds array write syntactic sugar to the XSTS formalism: a[i] := v
, which is equivalent to a := a[i <- v]
.