Skip to content
Label PR based on Comment

feat: add type classes for decidable < and <= relations #1147

Sign in to view logs

feat: add type classes for decidable < and <= relations

feat: add type classes for decidable < and <= relations #1147

Triggered via issue July 22, 2024 20:33
@fgdoraisfgdorais
commented on #530 d2b1546
Status Skipped
Total duration 3s
Artifacts –

labels-from-comments.yml

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