Proof: Difference between revisions
Content added Content deleted
(→{{header|Agda}}: Updated Agda example) |
m (→{{header|Wren}}: Minor tidy) |
||
Line 1,888: | Line 1,888: | ||
{{libheader|Wren-fmt}} |
{{libheader|Wren-fmt}} |
||
Most of what was said in the preamble to the Go entry applies equally to Wren though, as Wren is dynamically typed, we have to rely on runtime type checks. |
Most of what was said in the preamble to the Go entry applies equally to Wren though, as Wren is dynamically typed, we have to rely on runtime type checks. |
||
<syntaxhighlight lang=" |
<syntaxhighlight lang="wren">import "./fmt" for Fmt |
||
// Represents a natural number. |
// Represents a natural number. |