From 2de302bcb3fa7e12c83a58909232a527c4d5372e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 27 Apr 2022 16:58:17 +0900 Subject: Remove redundant letters --- comparison/SML/ack3-11.sml | 1 - 1 file changed, 1 deletion(-) (limited to 'comparison/SML/ack3-11.sml') diff --git a/comparison/SML/ack3-11.sml b/comparison/SML/ack3-11.sml index f1ea7f2..4668ddb 100644 --- a/comparison/SML/ack3-11.sml +++ b/comparison/SML/ack3-11.sml @@ -2,5 +2,4 @@ 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; -- cgit v1.2.3