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

Last change on this file since 1233 was 760, checked in by orlov, 18 years ago
  • Code formatting.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 199 bytes
RevLine 
[426]1$use StdIO;
2
3$func Perm (e) (e) = ;
4
5Perm (e1) (e2) =
6{
7  e2 : \{
8    ea tx eb,
9      <Perm (e1 tx) (ea eb)>,
10      $fail;
11    =
[760]12//      <PrintLN e1>
[426]13    ;
14  };;
15};
16
[432]17Main = <Perm () ('1234567890')>;
Note: See TracBrowser for help on using the repository browser.