ackermann example

1 files changed, 15 insertions, 0 deletions

diff --git a/bootstrap/ack.cff b/bootstrap/ack.cff
new file mode 100644
index 0000000..233abc2
--- /dev/null
+++ b/bootstrap/ack.cff
@@ -0,0 +1,15 @@
+import "libc.hff";
+
+fn ack(m uint, n uint) uint {
+   if m == 0 { return n + 1; }
+   if n == 0 { return ack(m - 1, 1); }
+   return ack(m - 1, ack(m, n - 1));
+}
+
+extern fn main() void {
+   for let m = 0; m <= 4; ++m {
+      for let n = 0; n < 6 - m; ++n {
+         printf("A(%u,%u) = %u\n", m, n, ack(m, n));
+      }
+   }
+}