Make

feat: formalize the "Traditional" universe polymorphism #213

Sign in to view logs

Triggered via pull request June 9, 2024 18:56

favonia

synchronize #55

traditional

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda