Commit 2024-03-23 07:28 b0e8c868

View on Github →

chore(SemiRingCat/RingCat): make SemiRingCat and RingCat reducible (#11595) Since both SemiRingCat and RingCat are wrappers around a structure instance, there should be no advantage to making default transparency.

Estimated changes