ATS3 VSCode Language Server

This is an experimental implementation of LSP for ATS3 in ATS3.

Requirements

This extension requires the PATH variable XATSHOME to point to a valid installation of ATS3.