4 ms·
Tiddlywiki: A Database for Your Notes (2022)
- 082349872349872 3y ago> The insight here is that a loop over zero elements never executes For a more general discussion of this insight, see Wadler, "How to Replace Failure by a List of Successes" (1985).