3 lines
120 B
Text
3 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) )
|