Skip to content
Deploy

Include generic arguments when suggesting a closure η-reduction (#14105) #3

Sign in to view logs

Include generic arguments when suggesting a closure η-reduction (#14105)

Include generic arguments when suggesting a closure η-reduction (#14105) #3

Triggered via push January 30, 2025 07:38
@aaron-angaaron-ang
pushed ad05bc0
master
Status Skipped
Total duration 2s
Artifacts –

deploy.yml

on: push
deploy
0s
deploy
Fit to window
Zoom out
Zoom in