Skip to content
Open Issues

add partial evaluation cases for algebraic data-types for recursive f… #2419

Sign in to view logs

add partial evaluation cases for algebraic data-types for recursive f…

add partial evaluation cases for algebraic data-types for recursive f… #2419

Triggered via push June 16, 2024 23:07
@NikolajBjornerNikolajBjorner
pushed ef86f5f
master
Status Success
Total duration 24m 48s
Artifacts –

wip.yml

on: push
build
24m 36s
build
Fit to window
Zoom out
Zoom in