RosettaCodeData/Task/Ackermann-function/ZED/ackermann-function.zed

(a) m n
M ZERO
(=) m 0
(add1) n

(a) m n
N ZERO
(=) n 0
(a) (sub1) m 1

(a) m n
DEFAULT
#true
(a) (sub1) m (a) m (sub1) n

(add1) n
=========
#true
(003) "+" n 1

(sub1) n
=========
#true
(003) "-" n 1

(=) n1 n2
=========
#true
(003) "=" n1 n2
Data update 2025-02-27 18:35:13 -05:00			`(a) m n`
			`M ZERO`
Initial data commit 2023-07-01 11:58:00 -04:00			`(=) m 0`
			`(add1) n`

Data update 2025-02-27 18:35:13 -05:00			`(a) m n`
			`N ZERO`
Initial data commit 2023-07-01 11:58:00 -04:00			`(=) n 0`
Data update 2025-02-27 18:35:13 -05:00			`(a) (sub1) m 1`
Initial data commit 2023-07-01 11:58:00 -04:00
Data update 2025-02-27 18:35:13 -05:00			`(a) m n`
			`DEFAULT`
Initial data commit 2023-07-01 11:58:00 -04:00			`#true`
Data update 2025-02-27 18:35:13 -05:00			`(a) (sub1) m (a) m (sub1) n`
Initial data commit 2023-07-01 11:58:00 -04:00
			`(add1) n`
Data update 2025-02-27 18:35:13 -05:00			`=========`
Initial data commit 2023-07-01 11:58:00 -04:00			`#true`
			`(003) "+" n 1`

			`(sub1) n`
Data update 2025-02-27 18:35:13 -05:00			`=========`
Initial data commit 2023-07-01 11:58:00 -04:00			`#true`
			`(003) "-" n 1`

			`(=) n1 n2`
Data update 2025-02-27 18:35:13 -05:00			`=========`
Initial data commit 2023-07-01 11:58:00 -04:00			`#true`
			`(003) "=" n1 n2`