Skip to content

[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux) - #2817

Closed
e-mniang wants to merge 7 commits into
agda:masterfrom
e-mniang:updating-pr-1945
Closed

[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux)#2817
e-mniang wants to merge 7 commits into
agda:masterfrom
e-mniang:updating-pr-1945

Update CHANGELOG.md

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

The logs for this run have expired and are no longer available.