Commit graph

3 commits

Author SHA1 Message Date
Ayaz Hafiz
6149c289fc
Update Eq symbols 2022-10-12 16:38:36 -05:00
Ayaz Hafiz
a256947a9f
Move Eq to Bool 2022-10-12 16:37:51 -05:00
Ayaz Hafiz
5931dd5fc2
Check in test derive for eq 2022-10-12 16:37:48 -05:00