\
**Category:** Google Group\
**Created:** [July 25, 2016, 4:58pm UTC](https://discourse.ats-lang.org/t/pats2xhtmlization-as-a-service/87 "2016-07-25T16:58:55Z")\
**Posts on this page:** 2\
**Page:** 1
**Author:**  [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [July 25, 2016, 4:58pm UTC](https://discourse.ats-lang.org/t/pats2xhtmlization-as-a-service/87/1 "2016-07-25T16:58:55Z")
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](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
---
**Author:**  [@steinwaywhw](https://discourse.ats-lang.org/u/steinwaywhw)\
**Post date:** [August 1, 2016, 3:29pm UTC](https://discourse.ats-lang.org/t/pats2xhtmlization-as-a-service/87/2 "2016-08-01T15:29:07Z")
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](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