diff options
Diffstat (limited to 'comparison/SML/fib38.sml')
| -rw-r--r-- | comparison/SML/fib38.sml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/comparison/SML/fib38.sml b/comparison/SML/fib38.sml index c49ed14..504d4ac 100644 --- a/comparison/SML/fib38.sml +++ b/comparison/SML/fib38.sml @@ -2,8 +2,4 @@ fun fib 0 = 0 | fib 1 = 1 | fib n = (fib (n-1)) + (fib (n-2)); - - -(* ex *) -(* prnat(Ack (mknat 2) (mknat 3)); *) fib 38; |