Skip to content
Build thys

Add mutual recursion and passive positions to tvsubst #24

Sign in to view logs

Add mutual recursion and passive positions to tvsubst

Add mutual recursion and passive positions to tvsubst #24

Triggered via pull request March 18, 2024 14:40
@jvanbrueggejvanbruegge
synchronize #38
passive-sugar
Status Skipped
Total duration 3s
Artifacts –

build_theories.yml

on: pull_request
build
0s
build
Fit to window
Zoom out
Zoom in