Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

exhaustive

Covering every possible case.

A match is exhaustive when its arms cover every value of the matched type; non-exhaustive matches are E0004.

Examples

A match on a u8 with only a 0..=100 arm fails with E0004: 101_u8..=u8::MAX not covered.