diff options
author | Vincent Ambo <mail@tazj.in> | 2022-10-02T16·41+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-10-03T07·53+0000 |
commit | 939b2194fe6b0159191892d7bfc7ff527c1b0371 (patch) | |
tree | 1be59768909331bd67e29b7e98a54abaaa0330d6 /ops/glesys | |
parent | 3c9520a4e56e09c59b007b2965372c7173b4e40d (diff) |
feat(tvix/eval): implement builtins.concatLists r/5022
Concatenates (but not flattens) a list of lists. Change-Id: I692e0b3e7b5a5ff93d5768d3a27849b432ec5747 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6843 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'ops/glesys')
0 files changed, 0 insertions, 0 deletions