Hello friends, I'm working on adding a type infer pass that supports mutually recursive functions in Relay.
However, the type_infer pass seems to use some in-between implementation of Algorithm W and Wand's Algorithm and isn't very unintuitive. I made a WIP https://github.com/apache/incubator-tvm/pull/5881, but need some help pointing me in the right direction. Would love some insight! cc: @wweic @zhiics @ziheng @merrymercy @MarisaKirisame --- [Visit Topic](https://discuss.tvm.ai/t/wip-relay-mutual-recursion-development/7118/1) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/af84fa28c7b6ec0d7946e65bb026f5af4e31e1e9b098dd08b625ec90bf96413d).
