Coco Language Reference¶
- Introduction
- About This Reference
- Lexical Conventions
- Structure of a Coco Program
- Imperative Language
- Documentation
- Components and Ports
- State Machines
- Packages
- Verification
- Code Generation
- Standard Library
- Migrating between Coco Versions