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.