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 | |
| 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')
0 files changed, 0 insertions, 0 deletions