Documentation

The canonical technical reference for the Mica compiler: architecture, type system, code generation, optimization, ELF output, and roadmap direction.

How Mica's x86-64 peephole optimizer works: why it exists, how its 17 conservative passes are organized, and which safety rules keep the rewrites correct.