Skip to content
Docker

feat: McBride monad is functorial in its displacement algebra #245

Sign in to view logs

feat: McBride monad is functorial in its displacement algebra

feat: McBride monad is functorial in its displacement algebra #245

Triggered via pull request June 9, 2024 17:01
@favoniafavonia
synchronize #58
wip-mcbride-functorial
Status Failure
Total duration 2m 56s
Artifacts –

agda.yml

on: pull_request
build
2m 48s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 42.