Ayaz Hafiz 3b38228c36 Fix infer query indentation		2022-07-29 14:18:47 -04:00
..
docs	Use strict unification of vars in unspecialized lambda sets right now	2022-07-06 13:08:58 -04:00
src	Avoid over-eager disjoint variable merging during lambda set compaction	2022-07-29 14:18:47 -04:00
tests	Fix infer query indentation	2022-07-29 14:18:47 -04:00
Cargo.toml	Move solve problems to their own crate	2022-07-28 08:57:32 -04:00