module Stdlib.System.IO.Nat; import Stdlib.System.IO.Base open; import Stdlib.Data.Nat open; import Stdlib.System.IO.String open; builtin nat-print axiom printNat : Nat → IO; printNatLn (n : Nat) : IO := printNat n >>> printString "\n";Last modified on 2024-07-11 16:35 UTC