Theoria.Normalize (theoria v0.1.0)

Copy Markdown View Source

Normalization and definitional equality for core terms.

Summary

Types

result()

Functions

defeq?(env, left, right)
normalize(env, term)
whnf(env, app)

Types

result()

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

Functions

defeq?(env, left, right)

normalize(env, term)

whnf(env, app)