with builtins; [ (concatStringsSep "" []) (concatStringsSep "" ["foo" "bar" "xyzzy"]) (concatStringsSep ", " ["foo" "bar" "xyzzy"]) (concatStringsSep ", " ["foo"]) (concatStringsSep ", " []) ]
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
with builtins; [ (concatStringsSep "" []) (concatStringsSep "" ["foo" "bar" "xyzzy"]) (concatStringsSep ", " ["foo" "bar" "xyzzy"]) (concatStringsSep ", " ["foo"]) (concatStringsSep ", " []) ]