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

Sign in to view logs

Triggered via pull request June 9, 2024 17:01

favonia

synchronize #58

wip-mcbride-functorial

Status Success

Total duration 11s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda