# `Theory`

Public entry point for Theory.

Theory is currently a bootstrap package for an Elixir-oriented certified Core
IR. The intended long-term surface is a small IR, proof obligations checked by
Theoria, and lowering paths into Rust, C, or LLVM IR.

# `hello`

Returns the bootstrap marker used by the generated project skeleton.

## Examples

    iex> Theory.hello()
    :world

---

*Consult [api-reference.md](api-reference.md) for complete listing*