Release 0.77.0

Renamed LSP Server

The CSL LSP server executable has been renamed, from language-server to csl-lsp-server. Workflows that manually invoke it will need to take the name change into account.

Unreachable Pattern Warning

The CSL type checker now emits a warning when a pattern cannot be reached. In other words, definitions such as:

val x = \ True -> 0 | False -> 1 | _ -> 2

will result in a warning that the wildcard pattern cannot be reached.

All previously-working code is still accepted, though users of build systems that enforce the lack of warnings may need to update code.