@npmhwxi/xats2py-pyemit01-ats2
v1.0.3
Published
Compiling ATS3 to Python~3
Readme
XATS2PY-PYEMIT01-ATS2
This is a compiler from ATS3 to Python~3.
This compiler is written in ATS3 and it is compiled by another compiler written in ATS2 (for compiling ATS3 to Javascript).
One can invoke the compiler as follows to compile ATS3 code (stored inside a given file mycode.dats) into PY code:
npx @npmhwxi/xats2py-pyemit01-ats2 mycode.datsHappy programming in ATS!
