Skip to content
Jira sync

RFC: let unfold tactic zeta reduce local definitions #117

Sign in to view logs

RFC: let unfold tactic zeta reduce local definitions

RFC: let unfold tactic zeta reduce local definitions #117

Triggered via issue September 20, 2024 06:07
@kmillkmill
closed #4090 152ca85
Status Success
Total duration 12s
Artifacts –

jira.yml

on: issues
jira-sync
3s
jira-sync
Fit to window
Zoom out
Zoom in