Open anphung opened 3 years ago
thingDownFlipAndReverse should use Endo.empty() as initial value.
thingDownFlipAndReverse
Endo.empty()
thingDownFlipAndReverse
should useEndo.empty()
as initial value.