diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-26 10:43:26 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-26 10:43:26 +0900 |
| commit | e273a97d97c9d163bf1ef914cb4659a2593fbdd0 (patch) | |
| tree | 1a9ef15aa66f1612e5306bc17a82d1f3472dcb07 /sample | |
| parent | 0b73ea886ac161b32ec47c883a83489a9b54ba41 (diff) | |
| download | inpla-e273a97d97c9d163bf1ef914cb4659a2593fbdd0.tar.gz inpla-e273a97d97c9d163bf1ef914cb4659a2593fbdd0.zip | |
Update hanoi.in
Diffstat (limited to '')
| -rw-r--r-- | sample/hanoi.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sample/hanoi.in b/sample/hanoi.in index e0b7098..3ba6f5c 100644 --- a/sample/hanoi.in +++ b/sample/hanoi.in @@ -8,7 +8,8 @@ hanoi(return, source, target, auxiliary) >< (int n) auxiliary ~ dup(aux1, aux2), hanoi(ret1, src1, aux1, tgt1)~(n-1), hanoi(ret2, aux2, tgt2, src2)~(n-1), - return << Append(ret1, (n,src3,tgt3):ret2); + Append(return, (n,src3,tgt3):ret2)~ret1; + // This Append is a bulit-in agent. dup(a,b)><A => a~A, b~A; dup(a,b)><B => a~B, b~B; |