Skip to content

Revert "Update: propEq to allow wider-typing for value in comparison"#99

Merged
Harris-Miller merged 1 commit intodevelopfrom
revert-74-propEq
Mar 2, 2024
Merged

Revert "Update: propEq to allow wider-typing for value in comparison"#99
Harris-Miller merged 1 commit intodevelopfrom
revert-74-propEq

Commits

Commits on Feb 22, 2024