Anonymous user
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:
* [[oeis:A031177|The unhappy numbers on OEIS; A031177]]
=={{header|ACL2}}==
|