diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
| commit | c8ff868327e19cd156573a723214d66119a71b41 (patch) | |
| tree | 2b959f5d9e2ec4b9f520b0259307a781102ffea7 /comparison/SML | |
| parent | 353b47702094b20d207acf97e1638d2befb4da11 (diff) | |
| parent | 5139486fd68973703b8a68b118eff2ef78def144 (diff) | |
| download | inpla-c8ff868327e19cd156573a723214d66119a71b41.tar.gz inpla-c8ff868327e19cd156573a723214d66119a71b41.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/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; |