Skip to content
Docker

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

Sign in to view logs

feat: McBride monad is functorial in its displacement algebra

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

Triggered via pull request June 9, 2024 18:31
@favoniafavonia
synchronize #58
wip-mcbride-functorial
Status Failure
Total duration 3m 35s
Artifacts –

agda.yml

on: pull_request
build
3m 26s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 42.