I wonder what ChatGPT would say about it.
612 karma · joined July 24, 2008
https://www.softwarepreservation.org/projects/LISP/ibm_lisp_...
fib :: Nat->Nat
fib 0 = 0
fib 1 = 1
fib (n+2) = fib (n+1) + fib (n+2)
The last line should be fib (n+2) = fib (n+1) + fib (n). The published version seems to have the same problem: https://pdfs.semanticscholar.org/82b4/ea72b89270c528006dd253...
A CAL TSS debugging tool https://mcjones.org/dustydecks/archives/2023/04/22/1196/
[1] https://health.ucdavis.edu/valley-fever/about-valley-fever/c...