Home(old)
Download
Documents
Libraries
Resources
Community
Examples
Implementations
Papers
Mailing-list
The ATS Programming Language
Unleashing the Potentials of Types and Templates!
  • Home
    • What is ATS?
    • What is ATS good for?
    • Acknowledgments
  • Download
    • ATS packages for download
    • Requirements for installation
    • Installation from a precompiled package
    • Installation through source compilation
    • Installation through bootstrapping
  • Documents
    • Introduction to Programming in ATS
    • A Tutorial on Programming Features in ATS
    • ATS/Cairo Tutorial
  • Libraries
    • ATSLIB/prelude
    • ATSLIB/libc
    • ATSLIB/libats
    • ATSLIB/libats/ML
    • ATSLIB/libatslex
    • ATSLIB/contrib
  • Resources
    • Editing ATS source code
    • Viewing ATS source code
    • Compiling projects based on ATS
    • Courses about ATS and based on ATS
  • Community

Community

  • Mailing-list for ATS users
  • Q&A forum for ATS users
  • IRC channel for ATS users: ##ats
  • ATS news at reddit

Mailing-list for ATS users

  • This mailing-list is for ATS users to discuss general questions related to ATS.
  • The archive of messages sent to the ATS users mailing-list can be found here.

Q&A forum for ATS users

  • The google group ats-lang-users acts as a forum for discussing any and all questions about or related to ATS.

IRC channel for ATS users: ##ats

  • This IRC channel ##ats is for chatting about ATS.

ATS news at reddit

  • Some news on ATS can be found here.
  • Home
  • Download
  • Documents
  • Libraries
  • Resources
  • Community
This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. SourceForge.net Logo