Pats2xhtmlization as a service


#1

I am thinking about building some on-line services for easing the
use of the ATS programming language system. For the moment,
I managed to finish one that supports syntax-hiliting for ATS code:

http://www.ats-lang.org/Resources.html#Pats2xhtmlization_service

Basically, one can now readily include ATS code in HTML and then
activate the service to syntax-hilite the code. In the near future, I would
like to support similar services for typechecking and compilting ATS code.

Cheers!

–Hongwei


#2

Neat!On Monday, July 25, 2016 at 12:58:55 PM UTC-4, gmhwxi wrote:

I am thinking about building some on-line services for easing the
use of the ATS programming language system. For the moment,
I managed to finish one that supports syntax-hiliting for ATS code:

http://www.ats-lang.org/Resources.html#Pats2xhtmlization_service

Basically, one can now readily include ATS code in HTML and then
activate the service to syntax-hilite the code. In the near future, I would
like to support similar services for typechecking and compilting ATS code.

Cheers!

–Hongwei