Skip to content
Make

feat: McBride monad is functorial in its displacement algebra (#58) #210

Sign in to view logs

feat: McBride monad is functorial in its displacement algebra (#58)

feat: McBride monad is functorial in its displacement algebra (#58) #210

Triggered via push June 9, 2024 18:39
@favoniafavonia
pushed 717bf48
main
Status Success
Total duration 10s
Artifacts –

regenerate-everything.yaml

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