module Test.ShowNat-Foreign where

open import Data.Nat
open import Data.ForeignNat.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 ))))