Ayaz Hafiz 02d5d0ec92 Allow naming type variables with a basis hint ... I think this makes it easier to read type variables when they come from flex/rigid vars with pre-existing names, just give them a number suffix to differentiate them.		2022-07-29 15:32:44 -04:00
..
docs	Use strict unification of vars in unspecialized lambda sets right now	2022-07-06 13:08:58 -04:00
src	Wrap unification subs in Env	2022-07-28 08:57:33 -04:00
tests	Allow naming type variables with a basis hint	2022-07-29 15:32:44 -04:00
Cargo.toml	Move solve problems to their own crate	2022-07-28 08:57:32 -04:00