Collatz - 0.1.0

Stdlib.Data.Bool

Definitions

import Stdlib.Data.Bool.Base open public