Theoria.Normalize (theoria v0.3.0)

Copy Markdown View Source

Normalization and definitional equality for core terms.

Summary

Types

result()

Functions

defeq?(env, left, right, opts \\ [])
normalize(env, term, opts \\ [])
whnf(env, term, opts \\ [])

Types

result()

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

Functions

defeq?(env, left, right, opts \\ [])

normalize(env, term, opts \\ [])

whnf(env, term, opts \\ [])