aboutsummaryrefslogtreecommitdiff
path: root/comparison/SML/ack3-11.sml
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-10-24 23:04:45 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-10-24 23:04:45 +0900
commit787dc13c837f0955fbd85b8f26a05d720d361333 (patch)
treefec3abebb1e867e8b2239d7cf07b4c7d13ce0f81 /comparison/SML/ack3-11.sml
parente607a57dfafb784c4e27da143214afb2ccd07fbf (diff)
downloadinpla-787dc13c837f0955fbd85b8f26a05d720d361333.tar.gz
inpla-787dc13c837f0955fbd85b8f26a05d720d361333.zip
Upload the comparison directory
Diffstat (limited to 'comparison/SML/ack3-11.sml')
-rw-r--r--comparison/SML/ack3-11.sml6
1 files changed, 6 insertions, 0 deletions
diff --git a/comparison/SML/ack3-11.sml b/comparison/SML/ack3-11.sml
new file mode 100644
index 0000000..f1ea7f2
--- /dev/null
+++ b/comparison/SML/ack3-11.sml
@@ -0,0 +1,6 @@
+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;