Closed toumix closed 1 year ago
Building upon its companion PR https://github.com/discopy/discopy/pull/148, this PR makes the necessary changes to update DisCoPy to v1.0:
Building upon its companion PR https://github.com/discopy/discopy/pull/148, this PR makes the necessary changes to update DisCoPy to v1.0: