2024-05-30: interim release with vscode install fix

language server crash fix

concurrent build and stdio lsp

fix infinite expansion in implicits

small bug fixes to v3.0.0

initial support for locally qualified names and implicits

initial vscode integration

interim release with fip/fbip keywords

icfp22 artifact

updated grammar