Welcome to ATS Docs and Tips!

I hope this to be a place where all the people in the community could contribute docs and tips to boost ATS users.

Contents:

• Installation
  • Install ATS 2 from Source Code
• Features
  • Function Effects
  • Quantifiers
• Examples
  • Creating ATS Interface for C Library
• Library Docs
• TBD
  • At-View Sugar