Skip to content
Docker

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

Sign in to view logs

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

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

Triggered via push June 9, 2024 19:00
@favoniafavonia
pushed d38bcc6
main
Status Success
Total duration 4m 5s
Artifacts –

agda.yml

on: push
build
3m 54s
build
Fit to window
Zoom out
Zoom in