coinductively picking a random streamLast updated Nov 12, 2024Tags: coinduction, probability, stream.
