Skip to content

[feature] Definition of Kleene star of containers and its functorial action - #7

Merged
bgavran merged 1 commit into
bgavran:mainfrom
jules-hedges:main
Sep 3, 2026
Merged

[feature] Definition of Kleene star of containers and its functorial action#7
bgavran merged 1 commit into
bgavran:mainfrom
jules-hedges:main

[feature] Definition of Kleene star of containers and its functorial …

9358cff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Sep 3, 2026 in 2m 42s