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

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

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

Annotations

1 warning and 1 notice
init
succeeded Oct 3, 2026 in 3m 12s