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

Sign in to view logs

Triggered via pull request June 3, 2024 22:30

favonia

opened #58

wip-mcbride-functorial

Status Success

Total duration 49s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda