'state
for (
'state
 
init
, 
(
'state
'state
)
 
next
, 
(
'state
bool
)
 
cond)
General loopThis function implements a general-purpose looping construction.Example: for(0, (i -> do jlog("{i}"); i + 1), _ < 50) will print0, then 1, then 2, ..., until 49.Alternative syntax: for(0, _ , _<50)(i -> do jlog("{i}"; i+1)).
init
An initial value.
next
The body of the loop. It takes as argument the latest state of the loop and returns the next state.
cond
A function determining whether the loop should continue. If it returns true, the loop continues.
Otherwise, it stops.

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.