8 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	2fdc881a2e	Change Set::insert type	2022-09-13 02:36:18 +09:00
Yuna Tomida	d956c3f61d	Follow clippy warnings	2022-09-10 17:32:25 +09:00
Shunsuke Shibayama	5b5234f477	Create erg_type crate	2022-08-26 11:52:11 +09:00
Shunsuke Shibayama	c4986248f0	Divide Context into some modules by functions	2022-08-26 08:36:25 +09:00
Félix Saparelli	7d3116f546	Apply trivial clippy fixes	2022-08-15 17:37:20 +12:00
Shunsuke Shibayama	6726d93f65	Do cargo fmt	2022-08-13 07:02:07 +09:00
Shunsuke Shibayama	f9d91aa38e	Organize crates	2022-08-13 06:38:12 +09:00

Renamed from src/erg_common/set.rs (Browse further)