2004-10-27 21:21:31 -04:00
|
|
|
USE: stack
|
|
|
|
|
USE: math
|
|
|
|
|
USE: kernel
|
|
|
|
|
USE: combinators
|
|
|
|
|
USE: compiler
|
|
|
|
|
USE: test
|
|
|
|
|
|
|
|
|
|
! http://inferno.bell-labs.com/cm/cs/who/bwk/interps/pap.html
|
|
|
|
|
|
2004-11-08 22:36:51 -05:00
|
|
|
: ack ( m n -- x )
|
2004-10-27 21:21:31 -04:00
|
|
|
over 0 = [
|
|
|
|
|
nip succ
|
|
|
|
|
] [
|
|
|
|
|
dup 0 = [
|
|
|
|
|
drop pred 1 ack
|
|
|
|
|
] [
|
|
|
|
|
dupd pred ack >r pred r> ack
|
|
|
|
|
] ifte
|
2004-11-25 23:14:17 -05:00
|
|
|
] ifte ;
|
2004-10-27 21:21:31 -04:00
|
|
|
|
|
|
|
|
[ 4093 ] [ 3 9 ack ] unit-test
|
