This is a for loop that counts backwards (since for does not have this capability). For example,
counter :: int
backfor counter in <1, 9> print(counter, " ")
produces the output 9 8 7 6 5 4 3 2 1.
Last update: November 12, 2025