Folkert 46062439b5 remove label from Struct layout		2020-03-23 17:55:02 +01:00
..
boolean_algebra.rs	fix bug in is_unique	2020-03-22 13:22:52 +01:00
lib.rs	Move pretty_print_types into types crate	2020-03-06 02:01:05 -05:00
pretty_print.rs	remove label from Struct layout	2020-03-23 17:55:02 +01:00
solved_types.rs	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00
subs.rs	pull tags/fields from the ext_var during unification	2020-03-13 15:12:32 +01:00
types.rs	type inference for pattern guards	2020-03-21 00:39:52 +01:00