LOISPapers and technical documentation LOIS: technical documentation. PDF (Feb 1, 2016) Abstract: LOIS is a C++ library allowing iterating through certain infinite sets, in finite time. The resulting language has an intuitive semantics, corresponding to execution of infinitely many threads in parallel. This allows to merge the power of abstract mathematical constructions into imperative programming. I
