Inspired by ats-mode for emacs, this extension brings ATS error diagnostics to VScode. The hope is to lower the barrier to entry for ATS programming as emacs can be difficult to learn.
Make sure that command patscc and other ATS tools are in the PATH. Please
refer to http://www.ats-lang.org/ for detailed instruction on installing ATS.
For Windows computers, ATS installation through WSL is required.
Certified programming in ATS.
