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.

Read the Docs v: latest

Versions: latest

Downloads: PDF; HTML; Epub

On Read the Docs: Project Home; Builds

Free document hosting provided by Read the Docs.