defn: Opposite monoidal category · the1lab/1lab@2ea2283

Triggered via push January 2, 2026 18:24

plt-amy

jajaperson-main

Status Success

Total duration 14m 28s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	15.2 MB	`sha256:ae24972e841027d760b5aada925bdae4d687b6a1a9d7c7439c70361d62ce859c`