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

Last change on this file since 770 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
Line 
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    =
12//      <PrintLN e1>
13    ;
14  };;
15};
16
17Main = <Perm () ('1234567890')>;
Note: See TracBrowser for help on using the repository browser.