fibonacci numbers in the languages maude and ATS.
a little program in a little-known, little-documented language called ATS.