defmodule Theory do
  @moduledoc """
  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.
  """

  @doc """
  Returns the bootstrap marker used by the generated project skeleton.

  ## Examples

      iex> Theory.hello()
      :world

  """
  def hello do
    :world
  end
end