Theoria.Validation.SmallTerms (theoria v0.3.0)

Copy Markdown View Source

Deterministic small normalized-term checks owned by Theoria validation.

Summary

Functions

defeq_checks(category)

Returns small definitional-equality checks for a category.

Functions

defeq_checks(category)

@spec defeq_checks(atom()) :: [Theoria.Validation.DefeqCheck.t()]

Returns small definitional-equality checks for a category.