More GATs related to (op)indexed monoidal categories #879

Sign in to view logs

Summary
Jobs
- benchmark
Run details
- Usage
- Workflow file

Triggered via pull request August 11, 2023 07:02

epatters

opened #836

th-monoidal-fibration

Status Success

Total duration 31m 27s

Artifacts –

benchmarks.yml

on: pull_request