diff options
author | Aspen Smith <root@gws.fyi> | 2024-07-05T22·50-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-07-06T03·06+0000 |
commit | d5964c1d548615aea1f3165c478ad91ad87822de (patch) | |
tree | 08c33b6652e31f90ab385a3b5d0ac4dfc9dca663 /tvix/glue/src | |
parent | 7ca32d9f0baf2548ec32d75d2872e8b82d4d8921 (diff) |
chore(tvix/docs): Cross off a TODO r/8350
This is done now, as of fc6359463 (feat(tvix/repl): Allow binding variables at the top-level, 2024-07-04) Change-Id: I2126cbadeb66625cda93a7cd7ddb31409ec60fd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11955 Reviewed-by: flokli <flokli@flokli.de> Autosubmit: aspen <root@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/glue/src')
0 files changed, 0 insertions, 0 deletions