xanadu-lang.github.io

xats2js

For presenting and documenting the xats2js project under xanadu-lang.

Xats2js is a compiler translating xatscml to JS, where XATSCML is the target language of the xatsopt compiler for translating ATS3 (i.e., the 3rd edition of ATS) into XATSCML.

docgen

This is a directory for documentation in all forms. In particular, coding examples and demos are of the primary form of documentation.