Structures of Equality book coming summer 2026!
Join the interest list →
If a problem could be modeled with REG or a Compare structure, which is the right one?