Limit and realize possibly infinite seqs - View it on GitHub