Skip to content
Deploy My forest to Pages

Add n-fold (co)products, and make a start on functors #121

Sign in to view logs

Add n-fold (co)products, and make a start on functors

Add n-fold (co)products, and make a start on functors #121

Triggered via push June 22, 2024 16:06
@utensilutensil
pushed 3abf70f
main
Status Success
Total duration 9m 10s
Artifacts –

gh-pages.yml

on: push
build
8m 40s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in