Introduction
Feather
1.
Feather syntax
1.1.
Basic definitions
1.2.
Preterms
1.3.
Precontexts
1.4.
Pre-environments
1.5.
Judgments
1.6.
Functional typing rules
1.7.
Environmental typing rules
1.8.
Borrowing typing rules
1.9.
Definitional equality
Light
Rust
Coal
Navy
Ayu
Quill and Feather specifications
Feather syntax