Tutorials

• The Kio language — a guided tour: packages, modules, functions, types, tuples and labels, sums and pattern matching, polymorphism, elaborator calls, and structural glue.
• Getting started with the tooling — one full lap of the dev loop on a tiny package: kio init, fmt, check, test, build, and sealing the contract surface with kio sig.
• Filling a shared `match!` result — start with an explicit target, diagnose disagreeing clauses, and then infer the same common result in either clause order.