fibonacci numbers in the languages maude and ATS.
a solver for digitle (numbers countdown) in maude, a language for rewriting systems.