From 9c8201b326a53472f144e8f1220da43451d22d7e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 25 Jul 2022 17:11:39 +0900 Subject: v0.9.0 --- sample/ack_3_5.in | 8 ++++++-- sample/hanoi.in | 7 +++++-- 2 files changed, 11 insertions(+), 4 deletions(-) (limited to 'sample') diff --git a/sample/ack_3_5.in b/sample/ack_3_5.in index 7b6e0bd..19f92fa 100644 --- a/sample/ack_3_5.in +++ b/sample/ack_3_5.in @@ -20,9 +20,13 @@ ack(ret, int m) >< (int n) | n==0 => ack(ret, m-1)~1 | _ => ack(cnt, m)~(n-1), ack(ret, m-1)~cnt; -ackMain(ret)><(int m, int n) => ack(ret,n)~m; +ackMain(ret)><(int m, int n) => ack(ret,m)~n; -ackMain(ret)~(3,5); + +// main +const M=3; +const N=5; +ackMain(ret)~(M,N); ret; free ret; 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~[] | _ => -- cgit v1.2.3