Ehrenfest coinductively

Last updated Jul 23, 2024

References.

• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)