Skip to content
Make

style(NearlyConstant): make compact keep the base definitionally (#40) #117

Sign in to view logs

style(NearlyConstant): make compact keep the base definitionally (#40)

style(NearlyConstant): make compact keep the base definitionally (#40) #117

Triggered via push November 27, 2023 14:59
@favoniafavonia
pushed 91904b2
main
Status Success
Total duration 18s
Artifacts –

regenerate-everything.yaml

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