Comment by travisjungroth

I’m meaning to write a library that’s the intersection of design by contract and abstract algebra for Python. You’d be able to say that getting a diff is associative and get free tests just for documenting that.