Folkert 6baae55980 add equal_types_with_storage helper		2022-03-13 22:46:41 +01:00
..
annotation.rs	cargo fmt	2022-03-12 23:43:45 -05:00
builtins.rs	add Num.toNat	2022-03-11 11:17:42 -08:00
constraint.rs	add equal_types_with_storage helper	2022-03-13 22:46:41 +01:00
def.rs	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
effect_module.rs	Validation of opaques during canonicalization	2022-02-21 18:25:19 -05:00
env.rs	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
expected.rs	Rename Located -> Loc	2021-12-22 19:18:22 -08:00
expr.rs	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
lib.rs	move over constraint	2022-03-02 21:19:58 +01:00
module.rs	make rigid variable introducion more obvious	2022-03-13 18:27:42 +01:00
num.rs	Clippy and a ranged number unification bugfix	2022-02-06 15:04:12 -05:00
operator.rs	Parse abilities	2022-03-12 21:29:06 -06:00
pattern.rs	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
procedure.rs	try to keep type and value symbols separate	2022-03-13 16:50:32 +01:00
scope.rs	Add constraint generation for opaque types	2022-02-27 00:10:11 -05:00
string.rs	Rename Located -> Loc	2021-12-22 19:18:22 -08:00