diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-24T14·21+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-02T12·59+0000 |
commit | 5b98ece96b86f87723747d4b750a6aa64663cd90 (patch) | |
tree | d4db2b1d4af707545c16b693c7ac0d230d084944 /README.md | |
parent | bd0fc69f0702d5682ea7fcba6c39a7dc09891368 (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 'README.md')
0 files changed, 0 insertions, 0 deletions