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: 4668ddbe7bda59e4bea4053c75af07765c98e63c (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;