Skip to content
Docker

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

Sign in to view logs

feat: McBride monad is functorial in its displacement algebra

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

Triggered via pull request June 9, 2024 18:39
@favoniafavonia
synchronize #58
wip-mcbride-functorial
Status Success
Total duration 4m 0s
Artifacts –

agda.yml

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