Skip to content
Label PR based on Comment

feat: localize universe metavariable errors at let bindings and fun binders #6746

Sign in to view logs

feat: localize universe metavariable errors at let bindings and fun binders

feat: localize universe metavariable errors at let bindings and fun binders #6746

Triggered via issue September 20, 2024 20:21
@kmillkmill
commented on #5402 a6830f9
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

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