Make

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

Sign in to view logs

Triggered via pull request June 9, 2024 18:39

favonia

synchronize #58

wip-mcbride-functorial

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda