diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-25 17:11:39 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-25 17:11:39 +0900 |
| commit | 9c8201b326a53472f144e8f1220da43451d22d7e (patch) | |
| tree | 646113351830c1d06d9053e6e3c1a4b1a6d6dab7 /sample/hanoi.in | |
| parent | 1f51c41a32e190d483ff336c34eb63acda27cbb6 (diff) | |
| download | inpla-9c8201b326a53472f144e8f1220da43451d22d7e.tar.gz inpla-9c8201b326a53472f144e8f1220da43451d22d7e.zip | |
v0.9.0
Diffstat (limited to 'sample/hanoi.in')
| -rw-r--r-- | sample/hanoi.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sample/hanoi.in b/sample/hanoi.in index 40cef50..5be47c6 100644 --- a/sample/hanoi.in +++ b/sample/hanoi.in @@ -4,8 +4,11 @@ hanoi(return, source, target, aux) >< (int n) | n==0 => // Erase the source, target and aux - Eraser~source, Eraser~target, Eraser~aux, - // result + source ~ Eraser, + target ~ Eraser, + aux ~ Eraser, + + // result return~[] | _ => |