Skip to content

Vec.Properties: drop eq parameter when it is a property (v3.0 changes)#2431

Draft
mildsunrise wants to merge 5 commits into
agda:masterfrom
mildsunrise:vec-drop-eq-v3
Draft

Vec.Properties: drop eq parameter when it is a property (v3.0 changes)#2431
mildsunrise wants to merge 5 commits into
agda:masterfrom
mildsunrise:vec-drop-eq-v3

add changelog entry

1dfdc69
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs