Pats2xhtmlization

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:

// // static interface // fun factorial (n: int): int //

The tag dats2xhtml is for syntax-hiliting dynamic ATS code, that is, code contained in a DATS file. Here is a simple example:

// // dynamic implementation // implement factorial(n) = if n > 0 then n*factorial(n-1) else 1 //

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.