4 lines
120 B
Text
4 lines
120 B
Text
|
fun ackermann( 0, n ) = n + 1
|
||
|
|
| ( m, 0 ) = ackermann( m - 1, 1 )
|
||
|
|
| ( m, n ) = ackermann( m - 1, ackermann(m, n - 1) )
|