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

$use StdIO;

$func Perm (e) (e) = ;

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

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