Happy numbers: Difference between revisions

added a reference to OEIS unhappy numbers, also included the OEIS reference number in the expression of the OEIS link. -- ~~~~
m (→‎{{header|REXX}}: changed a version name. -- ~~~~)
(added a reference to OEIS unhappy numbers, also included the OEIS reference number in the expression of the OEIS link. -- ~~~~)
Line 5:
'''Task:''' Find and print the first 8 happy numbers.
 
See also:
See also:* [[oeis:A007770|The     happy numbers on OEIS:   A007770]]
* [[oeis:A031177|The unhappy numbers on OEIS;   A031177]]
 
 
=={{header|ACL2}}==