Skip to content

[ add ] More Data.Product.Nary.NonDependent operation and properties - #3119

Open
jkopanski wants to merge 1 commit into
agda:masterfrom
jkopanski:product-nary
Open

jkopanski wants to merge 1 commit into
agda:masterfrom
jkopanski:product-nary

Conversation

@jkopanski

Copy link
Copy Markdown
Contributor

No description provided.

@jkopanski
jkopanski force-pushed the product-nary branch 2 times, most recently from 81ff78b to cd98d3b Compare October 3, 2026 12:03
@jkopanski
jkopanski marked this pull request as ready for review October 3, 2026 12:03
@jkopanski

Copy link
Copy Markdown
Contributor Author

@gallais given our ✅ I've cleaned it up and added changelog entries.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants