Mastodawn

( 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)
Rejoice Interpreter
