From d4f7c50a64df49b920ac501fc5e4088728f6358b Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 20 May 2026 15:15:36 -0400 Subject: use m > 0 and n > 0 as ack if default --- ack.kpl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ack.kpl b/ack.kpl index f27af3e..bbd9784 100644 --- a/ack.kpl +++ b/ack.kpl @@ -12,8 +12,7 @@ ? { m = 0 { n + 1 } &(m > 0; n = 0) { ack `sync (m - 1; 1) } - &(m > 0; n > 0) { ack `sync (m - 1; ack `sync (m; n - 1)) } - { 0 } + { ack `sync (m - 1; ack `sync (m; n - 1)) } } ) -- cgit v1.2.3