diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-26 10:43:58 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-03-26 10:43:58 +0900 |
| commit | 353b47702094b20d207acf97e1638d2befb4da11 (patch) | |
| tree | 1a9ef15aa66f1612e5306bc17a82d1f3472dcb07 | |
| parent | b1bda4d10e8bebb848bda95bf2b423f51f7aa599 (diff) | |
| parent | e273a97d97c9d163bf1ef914cb4659a2593fbdd0 (diff) | |
| download | inpla-353b47702094b20d207acf97e1638d2befb4da11.tar.gz inpla-353b47702094b20d207acf97e1638d2befb4da11.zip | |
Merge branch 'develop'
| -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; |