Skip to content
Build

make the whole assignability path in the type graph explicit, introdu… #139

Sign in to view logs

make the whole assignability path in the type graph explicit, introdu…

make the whole assignability path in the type graph explicit, introdu… #139

Annotations

1 warning

typir-build

typir-build
succeeded Jan 20, 2025 in 31s