Search
❯
Aug 27, 20251 min read
The unit interval with multiplication and partial sum forms an effect monoid.