# `Theoria.Normalize`
[🔗](https://github.com/elixir-vibe/theoria/blob/main/lib/theoria/normalize.ex#L1)

Normalization and definitional equality for core terms.

# `result`

```elixir
@type result() :: {:ok, Theoria.Term.t()} | {:error, Theoria.Error.t()}
```

# `defeq?`

# `normalize`

# `whnf`

---

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