HelloWorld - 0.1.0

Stdlib.Data.Nat

Description

Definitions

open import Stdlib.Data.Nat.Base public

builtin nat-to-string axiom natToString : Nat -> StringSource#

Converts a Nat into a String.

builtin string-to-nat axiom stringToNat : String -> NatSource#

Partial function that converts a String into a Nat.