Start by installing the compiler and building a first program.
Installing Mica
What you need, how to install it, and how to check it works — including your first compiled program.
Capability catalog
What the compiler guarantees, one page per capability — each with a worked example and an honest statement of what it does not promise.
Glossary
The technical vocabulary, in English, German and Simplified Chinese.
Tutorials
The tutorial track is being rebuilt against the current language. We would rather publish nothing here than publish something that no longer compiles, so this section grows as each piece is written and tested.
What to expect here
A guided path from a first program through the type system, the memory model and the concurrency model — written against the shipping compiler, with every example compiled before it is published.
If you teach, or are working through Mica yourself and find a gap, we would like to hear about it: info@mica-dev.com.