Skip to content

Decidable Subtyping of Existential Types for Julia #147

Decidable Subtyping of Existential Types for Julia

Decidable Subtyping of Existential Types for Julia #147

Triggered via pull request March 21, 2025 19:52
Status Success
Total duration 12s
Artifacts

notify.yaml

on: pull_request
notifications
8s
notifications
Fit to window
Zoom out
Zoom in