Proof: Difference between revisions

5 bytes removed ,  3 months ago
m
(→‎{{header|Agda}}: Updated Agda example)
m (→‎{{header|Wren}}: Minor tidy)
Line 1,888:
{{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.
<syntaxhighlight lang="ecmascriptwren">import "./fmt" for Fmt
 
// Represents a natural number.
9,476

edits