Nix string padding

Posted on July 13, 2018
1
padString = (n: if n < 10 then "0" + toString n else toString n)