Theoria.Validation.Core (theoria v0.5.0)

Core calculus validation checks.

Summary

Returns core definitional-equality checks not owned by a library.

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

Returns core definitional-equality checks not owned by a library.