Skip to content

sum as an accumulating fold; sum-++ by way of fold-++#1712

Closed
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:fold-sum
Closed

sum as an accumulating fold; sum-++ by way of fold-++#1712
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:fold-sum

sum as an accumulating fold; sum-++ by way of fold-++

2a66ee7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs