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