diff options
Diffstat (limited to '_pastebins/2018-07-13-nix-string-padding.md')
| -rw-r--r-- | _pastebins/2018-07-13-nix-string-padding.md | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/_pastebins/2018-07-13-nix-string-padding.md b/_pastebins/2018-07-13-nix-string-padding.md deleted file mode 100644 index 359bda5..0000000 --- a/_pastebins/2018-07-13-nix-string-padding.md +++ /dev/null @@ -1,19 +0,0 @@ ---- - -title: Nix string padding - -date: 2018-07-13 - -layout: post - -lang: en - -eu_categories: nix - -ref: nix-string-padding - ---- - -```nix -padString = (n: if n < 10 then "0" + toString n else toString n) -``` |