diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-02T12·46+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-08T08·45+0000 |
commit | a3b19ad8be9809205e018146ccba2a6bad53d605 (patch) | |
tree | 5582a94c6bdc7c0b33f03ffd1eb855da0845a724 /third_party/README.md | |
parent | 6b3c3c982669e805c9fc06ee74182606497b7bc3 (diff) |
docs(tvix/eval): add notes for builtins access optimisation r/4746
Change-Id: Iadbfbe2864ae42fe5492ef3ede0925baee4872b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6413 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/README.md')
0 files changed, 0 insertions, 0 deletions