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