diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-06T20·25+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-11T12·26+0000 |
commit | e944c341a78fffe475ddbe866275737a21991dc5 (patch) | |
tree | d3fea8c448269e9e3d4e68e2b9eae4571e137bc3 /fun/gemma | |
parent | 627dfabef1dd3b640d07777de5535d074fb12f19 (diff) |
docs(tvix/eval): add optimisation note on eliminating `with` thunks r/4803
Change-Id: I18d50ac8e157929a027f8bf284e65f1eb8950d5a Reviewed-on: https://cl.tvl.fyi/c/depot/+/6488 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'fun/gemma')
0 files changed, 0 insertions, 0 deletions