Hi, It is my pleasure to announce that the typechecker of ATS2 is now ready to be tested publicly. The source code of ATS2 is available at: https://github.com/githwxi/ATS-Postiats/ If you know how to compile ATS from the source, then you should be able to compile ATS2 as well. Just remember that you need to properly set the environment variable PATSHOME (instead of ATSHOME). We will also try to make ATS2 available in a brower so that you can try it without installing it. ATS2 is currently implemented in ATS. The lexer and parser of ATS2 are manually coded, consisting of about 25K lines of ATS code. Hopefully, lexing and parsing errors can be reported in more meaningful ways than previously done. Some examples can be found in $PATSHOME/doc/EXAMPLE. The primary point of the message is to let you know that the development of ATS2 is going well. I think I have done 2/3 of the ATS2 implementation, and there is 1/3 to go. Cheers, --Hongwei Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Email: hwxi@... Url: http://www.cs.bu.edu/~hwxi Tel: +1 617 358 2511 (office) Fax: +1 617 353 6457 (department)