Make

feat: formalize the "Traditional" universe polymorphism (#55) #214

Sign in to view logs

Triggered via push June 9, 2024 19:00

favonia

main

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: push

Everything.agda