The syntax of ATS is highly involved, which can be a daunting obstacle for beginners trying to read and write ATS code. In order to alleviate this problem, I may employ colors to differentiate various syntatical entities in ATS code. The convention I adopt for coloring ATS syntax is given as follows:
The keywords in ATS are all colored black (and possibly written in bold face).
The comments in ATS are all colored gray.
The code in the statics of ATS is colored blue.
The code in the dynamics of ATS is colored red unless it represents proofs, for which the color dark green is used.
The external code (in C) is colored deep brown.
Please find an example of ATS code on-line that involves all of the syntax-coloring mentioned above.