0.25.24

Added

• futhark doc now produces better (and stable) anchor IDs.

• futhark profile now supports multiple JSON files.

• futhark fmt, by William Due and Therese Lyngby.

• Lambdas can now be passed as the last argument to a function application.

Fixed

• Negation of floating-point positive zero now produces a negative
  zero.

• Necessary inlining of functions used inside AD constructs.

• A compile time regression for programs that used higher order
  functions very aggressively.

• Uniqueness bug related to slice simplification.