The following links are listed to allow for access to some code used in the on-line book Introduction to Programming in ATS. If the name of a file mentioned in a link is followed by the symbol (c), then the code contained in the file can be typechecked on-line. If the name is followed by (js), then the code can be first typechecked and then compiled into Javascript for execution in the browser.
| This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. |
|