Skip to content
Back to pull request #5055

feat: unify equational theorems between wf and structural recursion #3603

Sign in to view logs

feat: unify equational theorems between wf and structural recursion

feat: unify equational theorems between wf and structural recursion #3603

The logs for this run have expired and are no longer available.