Skip to content
Check for stage0 changes

feat: mutual recursion: allow common prefix up to alpha-equivalence #3205

Sign in to view logs

feat: mutual recursion: allow common prefix up to alpha-equivalence

feat: mutual recursion: allow common prefix up to alpha-equivalence #3205

Triggered via pull request August 14, 2024 12:48
@nomeatanomeata
synchronize #5041
joachim/commonPrefix-alpha
Status Success
Total duration 34s
Artifacts –

check-stage0.yml

on: pull_request
check-stage0-on-queue
25s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in