ATS Docs and Tips

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

ATS Docs and Tips

Docs »
Library Docs
Edit on GitHub

Library Docs¶

Next Previous

© Copyright 2013, ATS Community.

Built with Sphinx using a theme provided by Read the Docs.