choosing a random stream

Last updated Oct 7, 2024

Tags: probability, Martin-Lof, stream, coalgebra.