prevexample.wf 111 Bytes
Newer Older
1 2 3 4 5
forallmay x,s O(s) -> Q += (x,s)
loop {
	forall x,y,s R(y,s) -> S += (x,y,s)
	forall x,s Q(x,s) -> R += (x,s)
}