Collatz - 0.1.0

Stdlib.Prelude

Definitions

open import Stdlib.Data.Bool public

open import Stdlib.Data.List public

open import Stdlib.Data.Maybe public

open import Stdlib.Data.Nat public

open import Stdlib.Data.Product public

open import Stdlib.Data.String public

open import Stdlib.Function public

open import Stdlib.System.IO public