Search
❯
Jul 24, 20251 min read
See monoidal stream, an implementation of synchronous streams into monoidal categories.