Make

style: reorganize Cat.HierarchyTheory and update documentation #123

Sign in to view logs

Triggered via pull request November 28, 2023 15:19

favonia

opened #42

cat-reorg

Status Success

Total duration 13s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda