comparison tests/thog.ur @ 1308:714e8b84221b
-limit for running time
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Thu, 14 Oct 2010 11:35:56 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 fun ack (m, n) = |
| |
2 if m = 0 then |
| |
3 n + 1 |
| |
4 else if n = 0 then |
| |
5 ack (m - 1, 1) |
| |
6 else |
| |
7 ack (m - 1, ack (m, n - 1)) |
| |
8 |
| |
9 fun main n = return <xml>{[ack (n, 4)]}</xml> |
