collatzNext (n : Nat) : NatSource#

collatz : Nat → NatSource#

terminating run (f : Nat → Nat) : Nat → IOSource#

welcome : StringSource#

resultHeading : StringSource#

main : IOSource#