r/ATS

This is from a post by Hongwei on the ATS mailing list.

Hi, there,

I would like to say a few words on the current status of ATS3.

Originally, I planned to complete a compiler from ATS3 to C/C++ by the end of Summer, 2020. On the way, my plan changed somewhat. This is the current status of ATS3:

In the following repository, there is a compiler from ATS3 to an intermediate language ATS3-ML (which is ML-like):

https://github.com/githwxi/ATS-Xanadu

This compiler is functioning. And it will be polished and improved gradually. This is the core for all of the future development of ATS3. Es

I'm interested in learning ATS, but I'm not finding any useful resources at all, does anyone have a link to the documentation at least, a lot of links in the official site and on the sourceforge are broken