the Structures of Equality book is now available!
Grab your copy →
If a problem could be modeled with REG or a Compare structure, which is the right one?