Convention for Coloring ATS Syntax

ATS is a rich language with a highly expressive type system, and the syntax of ATS can be a daunting obstacle for beginners trying to understand ATS code. In order to alleviate this problem, we may employ colors to differentiate various syntatical components in a program written in ATS. The convention for coloring ATS syntax is summarized as follows:

• The keywords in ATS are all colored black (and possibly 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 dark green color is used.
• The external code (in C) is colored deep brown.