diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-27T19·45+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-06T07·29+0000 |
commit | 06b07f5c47cacca7c3e2d265ba23701f99ceabdf (patch) | |
tree | 4c2bdb84ecd44b718ba31e2f647a67d2e5373217 /ops | |
parent | 3089e46eb12b0648a8c564836a660b87c5200a65 (diff) |
docs(tvix/eval): start a document on known optimisation potential r/4652
Change-Id: I9bc41e57e1cfdf536d7b9048bac2e7aff1ee2ffa Reviewed-on: https://cl.tvl.fyi/c/depot/+/6313 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'ops')
0 files changed, 0 insertions, 0 deletions