v0.11.3

v0.11.3 -- 2023-06-23

Added

Changed

• New definitions typed in the REPL are now incrementally analyzed, improving
  performance significantly (#952)
• New expressions and definitions typed in the REPL are now incrementally
  compiled, improving performance (#968)
• Static analysis performance is significantly improved for large specs (#970)

Deprecated

Removed

Fixed

• Fixed a bug where sometimes static analysis would flag a mode error where
  there isn't one (#960)
• Fixed the behavior of slice for the case l.slice(length(l), length(l))
  (#971)
• Fixed a bug where definitions with nested definitions could have their
  inferred type be too general.

Security