collatzNext : Nat → NatSource#

collatz : Nat → NatSource#

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

welcome : StringSource#

resultHeading : StringSource#

main : IOSource#