collatzNext (n : Nat) : NatSource#

collatz (n : Nat) : NatSource#

terminating run (f : Nat -> Nat) (n : Nat) : IOSource#

welcome : StringSource#

resultHeading : StringSource#

main : IOSource#