Skip to content

perf: compact normal form of CommAlgebra baseChange#1314

Open
plt-amy wants to merge 1 commit into
agda:masterfrom
plt-amy:aliao/oncoprod-perf
Open

perf: compact normal form of CommAlgebra baseChange#1314
plt-amy wants to merge 1 commit into
agda:masterfrom
plt-amy:aliao/oncoprod-perf

perf: compact normal form of baseChange

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

Annotations

1 warning
test-cubical
succeeded Jun 19, 2026 in 8m 40s