ack3-11.sml « SML « comparison - inpla.git - A fork of Inpla, a multi-threaded parallel interpreter of interaction nets

about summary refs log tree commit diff

path: root/comparison/SML/ack3-11.sml

blob: f1ea7f261e40faaaccee6371f3a92fb144b5a094 (plain) (blame)

fun ack 0 n = n+1
| ack m 0 = ack (m-1) 1
| ack m n = ack (m-1) (ack m (n-1));


ack 3 11;