Theoria.Rewrite.Proof.EqRec (theoria v0.5.0)

Copy Markdown View Source

Experimental boundary helper for EqRec-path proof lifting attempts.

The shape may change before 1.0.

Summary

Functions

explain(step)

Functions

explain(step)

@spec explain(Theoria.Rewrite.Step.t()) :: Theoria.Rewrite.Proof.Capability.t()