Skip to content
Backport

fix: allow arbitrary sorts in structural recursion over reflexive inductive types #10569

Sign in to view logs

fix: allow arbitrary sorts in structural recursion over reflexive inductive types

fix: allow arbitrary sorts in structural recursion over reflexive inductive types #10569

Triggered via pull request June 13, 2025 22:05
@nomeatanomeata
closed #7639
Status Success
Total duration 5s
Artifacts –

backport.yml

on: pull_request_target
Backport
2s
Backport
Fit to window
Zoom out
Zoom in