Learning Mica — The Basics
A practical, hands-on introduction to Mica — a systems language with compiler-proven memory safety, as fast as C. Covers getting started, a first program, the ordinal type system, compile-time generics, the memory model, and inspecting the compiler with --export.