c06ebfc Use type classes for operators
Use type classes for operators
~jorge-jbs pushed to ~jorge-jbs/theory-of-computation git
499cf04 Add product constructions for DFA
Add product constructions for DFA