choosing a random stream

Last updated Apr 23, 2024

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