bors[bot] a33eefa3b2 Merge #5149 ... 5149: Implement Chalk variable kinds r=flodiebold a=flodiebold This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>		2020-07-01 18:41:06 +00:00
..
src	Merge #5149	2020-07-01 18:41:06 +00:00
Cargo.toml	update itertools version to 0.9.0	2020-03-23 16:22:46 -07:00