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.