Skip to content

Fix desugaring rules for semi-naive #638

Fix desugaring rules for semi-naive

Fix desugaring rules for semi-naive #638

Triggered via pull request August 20, 2023 06:41
Status Success
Total duration 1m 21s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in