rusini

  (define Fact
    (lambda (N)
      (if (= N 0) 1
          (* N (Fact (- N 1))))) ; a lot of closing parentheses here
  ; use Fact

  def Fact(N):
    if N == 0:
      return 1
    else:
      return N * Fact(N - 1)
  # use Fact

  { let rec
    { Fact =
      { proc { N } as
      : if N == 0 then 1 else
        N * Fact[N - 1]
      }
    }
    in
    -- use Fact
  }

  if ... then
    ...
  else
    ...
  end if; -- "very" explicit terminator

  while ... loop
    ...
  end loop; -- ditto

  for I := 0 to 99 do
  if A[I] = Value then {note the lack of indentation}
    Found := I;

  { for ... do
    { if ... then ... else
      ...
    }
  }

  { for ... do
  : if ... then ... else -- note that ":" is aligned with the braces since their syntactic roles are very similar
    ...                  -- but anyway MANOOL is a free-form language
  }

    -- factorial
    { {extern "manool.org.18/std/0.2/all"} in
    : let
      { Fact =
        { proc { N } as
        : unless N.IsI48[] & (N >= 1 - 1) signal
        {if (~)[N.IsI48[]] then TypeMismatch else InvariantViolation}
        else
        : var { Res = 1 } in
        : do Res after
        : while N <> 0 do Res = N * Res; N = N + ~1
        }
      }
      in
      Out.WriteLine[/* Out; */ "Factorial of 10 is "; Fact[10]$]
    }