1.
Intro
2.
Dada design tenets
3.
Types and permissions
3.1.
Classes
3.2.
Structs and enums
3.3.
Permissions
3.4.
Atomicity
4.
Types checking
4.1.
Subtyping rules
5.
Operational semantics
6.
Notes
Light (default)
Rust
Coal
Navy
Ayu
Dada Formal Model
Types checking