Skip to content
Backport

feat: mutual recursion: allow common prefix up to alpha-equivalence #3580

Sign in to view logs

feat: mutual recursion: allow common prefix up to alpha-equivalence

feat: mutual recursion: allow common prefix up to alpha-equivalence #3580

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