Skip to content
Label PR based on Comment

RFC: Bounded recursion instead of well-founded recursion on Nat #7173

Sign in to view logs

RFC: Bounded recursion instead of well-founded recursion on Nat

RFC: Bounded recursion instead of well-founded recursion on Nat #7173

Triggered via issue October 6, 2024 16:42
@nomeatanomeata
commented on #5234 0178f2b
Status Skipped
Total duration 1s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in