Skip to content
Docker

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

Sign in to view logs

feat: McBride monad is functorial in its displacement algebra

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

Triggered via pull request June 4, 2024 12:04
@favoniafavonia
synchronize #58
wip-mcbride-functorial
Status Failure
Total duration 3m 7s
Artifacts –

agda.yml

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

Annotations

1 error
build
Process completed with exit code 42.