module Test.ShowNat-Native where

open import Data.Nat
open import Data.Nat.Show
open import Data.List

open import IO
import Data.Colist

numbersBelow : ℕ → List ℕ
numbersBelow zero     = []
numbersBelow (suc n)  = numbersBelow n ++ [ n ]

main = run (mapM′ putStrLn (Data.Colist.fromList  (Data.List.map show (numbersBelow ))))