Open CohenArthur opened 2 years ago
jinko -v => v0.2.0
jinko -v
To resolve this issue cleanly, the ctx should keep track of the type_ctx instead of the other way around. This a big refactor and relates to the "visitor pattern" used in jinko
ctx
type_ctx
jinko -v
=> v0.2.0