Text/ParserCombinators/Parsec/examples/while/fib.wh

   1 v := 1;
   2 u := 1;
   3 if n <= 2 then
   4   skip
   5 else
   6   while n > 2 do (
   7     t := u;
   8     u := v;
   9     v := u + t
  10     )
  11