Revert "Update: propEq to allow wider-typing for value in comparison"#99
Merged
Harris-Miller merged 1 commit intodevelopfrom Mar 2, 2024
Merged
Revert "Update: propEq to allow wider-typing for value in comparison"#99Harris-Miller merged 1 commit intodevelopfrom
Harris-Miller merged 1 commit intodevelopfrom