Skip to content
Make

style: new definition of "preserving strict orders" (#45) #128

Sign in to view logs

style: new definition of "preserving strict orders" (#45)

style: new definition of "preserving strict orders" (#45) #128

Triggered via push November 28, 2023 23:29
@favoniafavonia
pushed 666198d
main
Status Success
Total duration 10s
Artifacts –

regenerate-everything.yaml

on: push
Everything.agda
2s
Everything.agda
Fit to window
Zoom out
Zoom in