Ayaz 7b308d9efe Merge pull request #3404 from rtfeldman/ambient-lset-specialization ... The ambient lambda set specialization algorithm		2022-07-09 17:23:27 -05:00
..
docs	Use strict unification of vars in unspecialized lambda sets right now	2022-07-06 13:08:58 -04:00
src	Simplify the lambda set instantiation process	2022-07-06 13:08:59 -04:00
tests	Merge pull request #3404 from rtfeldman/ambient-lset-specialization	2022-07-09 17:23:27 -05:00
Cargo.toml	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00