Mario Román

Search

Search IconIcon to open search

Synchronous Streams

Last updated Feb 3, 2024

See monoidal stream, an implementation of synchronous streams into monoidal categories.