Commit graph

3 commits

Author SHA1 Message Date
Folkert
de8d1f81d1 fix typo in Tag unification 2020-03-06 13:46:58 +01:00
Richard Feldman
3b26a982f0 Move pretty_print_types into types crate 2020-03-06 02:01:05 -05:00
Richard Feldman
cc92ca7e7c Move solve and unify into their own crates 2020-03-06 01:43:50 -05:00