about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-27T19·45+0300
committertazjin <tazjin@tvl.su>2022-09-06T07·29+0000
commit06b07f5c47cacca7c3e2d265ba23701f99ceabdf (patch)
tree4c2bdb84ecd44b718ba31e2f647a67d2e5373217 /.gitignore
parent3089e46eb12b0648a8c564836a660b87c5200a65 (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions