about summary refs log tree commit diff
path: root/third_party
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-24T14·21+0300
committertazjin <tazjin@tvl.su>2022-09-02T12·59+0000
commit5b98ece96b86f87723747d4b750a6aa64663cd90 (patch)
treed4db2b1d4af707545c16b693c7ac0d230d084944 /third_party
parentbd0fc69f0702d5682ea7fcba6c39a7dc09891368 (diff)
feat(tvix/eval): implement type-checking builtins r/4594
Change-Id: I70d7d837beaaed7e10cdc7577d96130f9e1b6d39
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6260
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions