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