Ayaz Hafiz ce160f28a2 Chase under aliases during occurs checking ... Closes #4368		2022-11-15 16:22:01 -06:00
..
docs	Add language to all fenced code blocks	2022-09-09 01:12:31 -06:00
src	Remove Cells from Types	2022-11-15 09:00:16 -06:00
tests	Chase under aliases during occurs checking	2022-11-15 16:22:01 -06:00
Cargo.toml	more workspace dependencies	2022-11-13 16:10:02 +01:00