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

Sign in to view logs

Triggered via pull request June 4, 2024 00:34

favonia

synchronize #58

wip-mcbride-functorial

Status Success

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda