Search
❯
Aug 16, 20231 min read
See monoidal stream, an implementation of synchronous streams into monoidal categories.