Ayaz Hafiz 49a92e5ef1 Support fixpoint-fixing under recursion variables ... Sometimes, we might need to fixpoint-fix a unification like [ Bar [ Bar <a>, Foo ], Foo ] as <a> 🛠️ [ Bar <b>, Foo ] as <b> where we hit a comparison between <a> and <b>. In this case, follow each recursion point independently and see if we can find the chain to the needle we were searching for. Closes #5476		2023-06-13 17:15:11 -05:00
..
src	Support fixpoint-fixing under recursion variables	2023-06-13 17:15:11 -05:00
Cargo.toml	centralize package versions except for vendor and excluded	2023-03-06 19:29:09 -08:00