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