Hailstone sequence: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 14:
'''See Also:'''<br>
* [http://xkcd.com/710 xkcd] (humourous).
 
=={{header|0815}}==
<lang 0815>
|~}:s:%~<:1:-#:end:
<:d:~$~>{>x<:2:x/=
#:evn:{x<:3:*~<:1:+
^:s:}:evn:~{^:s:
</lang>
 
=={{header|ACL2}}==