title: Nix string padding
date: 2018-07-13
layout: post
lang: en
eu_categories: nix
ref: nix-string-padding
padString = (n: if n < 10 then "0" + toString n else toString n)
 |
index : euandre.org | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |