Pats2xhtmlization is an on-line service for syntax-hiliting ATS code.
The tag sats2xhtml is for syntax-hiliting static ATS code, that is, code contained in a SATS file. Here is a simple example:
The tag dats2xhtml is for syntax-hiliting dynamic ATS code, that is, code contained in a DATS file. Here is a simple example:
This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. |