53 commits

Author	SHA1	Message	Date
Ayaz Hafiz	8fb9ccccfe	Allow captures to be marked as unified without having to be merged ... It's very possible to unify two variables without their actual variable numbers having been merged in the unification forest. We might want to do that in the future, but it's not necessarily true today. For example two concrete constructors `{}` and `{}` are unified by their contents, but the variables are not necessarily merged afterward.	2022-07-03 10:37:25 -04:00
Ayaz Hafiz	cecb6987e7	Admit duplicate lambdas in lambda sets when their captures don't unify	2022-07-03 10:37:25 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00