Skip to content
Build thys

Add mutual recursion and passive positions to tvsubst #18

Sign in to view logs

Add mutual recursion and passive positions to tvsubst

Add mutual recursion and passive positions to tvsubst #18

Triggered via pull request February 26, 2024 17:58
@jvanbrueggejvanbruegge
opened #38
passive-sugar
Status Skipped
Total duration 2s
Artifacts –

build_theories.yml

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