Skip to content
Make

feat: define the category of displacement algebras #199

Sign in to view logs

feat: define the category of displacement algebras

feat: define the category of displacement algebras #199

Triggered via push June 2, 2024 11:52
@favoniafavonia
pushed 01fc9f8
main
Status Success
Total duration 15s
Artifacts –

regenerate-everything.yaml

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