Description
Parser and pretty-printer for ATS.
Description
Parser and pretty-printer for ATS, written with Happy and Alex.
README.md
language-ats
This is a package similar to language-c or haskell-src-exts that provides a parser and pretty-printer for ATS.
The parser is slightly buggy but it can handle almost all of the language; see the test/data
directory for examples of what it can handle.
The pretty-printer works quite well; you can safely use it for code generation.