Skip to content

SeqZ Function

Simon Spies requested to merge simonspies/stdpp:master into master

This MR adds a simple range function on integers to stdpp. Calling range m n results in the range m, m + 1, ..., n - 1 and is empty, if m >= n.

Edited by Robbert Krebbers

Merge request reports