Agda-2.3.2.2: examples/outdated-and-incorrect/Alonzo/PrintNat.agda

module PrintNat where

import PreludeShow
open PreludeShow
     
mainS = showNat 42