source: to-imperative/trunk/samples/perm.rf @ 2357

$use StdIO;

$func Perm (e) (e) = ;

Perm (e1) (e2) =
{
  e2 : \{
    ea tx eb,
      <Perm (e1 tx) (ea eb)>,
      $fail;
    =
      <PrintLN e1>
    ;
  };;
};

Main = <Perm () ('12345')>;