Skip to content

Monads: resync trace monad with nondet #24

Monads: resync trace monad with nondet

Monads: resync trace monad with nondet #24

Triggered via pull request July 17, 2024 03:36
@corlewiscorlewis
synchronize #782
Status Success
Total duration 46s
Artifacts

lint.yml

on: pull_request_target
Theory Linter
36s
Theory Linter
Fit to window
Zoom out
Zoom in