100 doors: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
imported>Regattaguru |
|||
Line 2,350:
This computes the characteristic sequence of squares by flipping every i'th door in round i, for infinitely many rounds i. But since it's computed lazily and the prefix stabilizes, we can still take the first 100 bits and print them! See corresponding source code at https://github.com/tromp/AIT/blob/master/characteristic_sequences/squares.lam
<
Output
<
=={{header|Blade}}==
|