diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-25 17:15:34 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-25 17:15:34 +0900 |
| commit | a65ef22b5a36cd211883e094daf1ecf74bd40d66 (patch) | |
| tree | 7a3d4f2f75a6f267e9008bb651159b91c39166e5 /sample/ack_3_5.in | |
| parent | 4753a3914675dd8a3dfb8233062f90b65520ba4e (diff) | |
| parent | 8ec1385229c73246d89441f15a140d3eeeec093d (diff) | |
| download | inpla-a65ef22b5a36cd211883e094daf1ecf74bd40d66.tar.gz inpla-a65ef22b5a36cd211883e094daf1ecf74bd40d66.zip | |
Merge branch 'develop'
Diffstat (limited to 'sample/ack_3_5.in')
| -rw-r--r-- | sample/ack_3_5.in | 8 |
1 files changed, 6 insertions, 2 deletions
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; |