feat: McBride monad is functorial in its displacement algebra #203
favoniaregenerate-everything.yaml
on: pull_request
Everything.agda
2s
Annotations
1 error
|
Everything.agda
Process completed with exit code 1.
|