Contents

1. 1. Summary
2. 2. Syntax
3. 3. Resolution
4. 4. Execution
5. 5. Verification - Fundamentals
6. 6. Verification - Objects
7. 7. Verification - Continued
8. 8. Verification - Proof hints
9. 9. Debugging and tooling
10. 10. Current limitations