https://mica-dev.com/reference/Recent content in Reference on Mica Development UGhttps://mica-dev.com/Mica%20Development%20Web.jpeghttps://mica-dev.com/Mica%20Development%20Web.jpegHugoenhttps://mica-dev.com/reference/cli/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/cli/The complete reference for the mica binary: every flag, its values, its defaults, and the rules that combine them.https://mica-dev.com/reference/traps/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/traps/The normative list of every runtime trap the compiler can emit, the tier each one runs on, and what each optimization tier proves, guards, and deliberately leaves undefined.https://mica-dev.com/reference/contracts/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/contracts/The complete reference for the mica.external contract format: libraries, link blocks, types, functions, external names per encoding, passing modes, and the error conventions the compiler can lift.https://mica-dev.com/reference/typesystem/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/typesystem/The normative reference for Mica's type system: every type kind, the capabilities each one carries, what promotion does implicitly, what a cast does explicitly, and the rules that read capabilities rather than names.https://mica-dev.com/reference/known-limitations/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/known-limitations/What the current Mica release deliberately does not do, what to write instead, and where each limitation is headed.