( Hailstone function in Rejoice )
n^7 @Hailstone
.#n .\n
done [n^2]/[n^2 done] [Halt]/done
@Parity
[a^2 Parity]/n^2
even [odd n]/[even n]
@Parity.A->N [n Parity.A->N]/a
[Even]/even [Odd]/odd
@Even ( n = n/2 )
[a Even]/n^2
@Even.A->N [n Even.A->N]/a
Hailstone
@Odd ( n = 3n + 1 )
[a^3 Odd]/n a
@Odd.A->N [n Odd.A->N]/a
Hailstone
@Halt
(cc @neauoire)






