Ayaz aaba3f4d82 Merge branch 'main' into clippy-1.74		2023-12-02 20:09:06 -06:00
..
solve	Rename env to scope	2023-06-22 14:31:03 -05:00
ability.rs	misc cleanup suggestions	2023-11-28 16:40:43 -08:00
aliases.rs	Break up SolveEnv	2023-07-12 13:53:51 -05:00
deep_copy.rs	Content variant ErasedLambda	2023-07-12 13:57:17 -05:00
env.rs	Fix types	2023-07-17 10:10:50 -05:00
kinds.rs	Break up SolveEnv	2023-07-12 13:53:51 -05:00
lib.rs	freshen annotations	2023-07-24 21:24:33 +02:00
module.rs	Push checkmate through load	2023-07-17 09:51:00 -05:00
pools.rs	auto clippy fixes	2023-07-10 18:27:08 +02:00
solve.rs	Update language server to support apps	2023-10-25 17:14:33 -05:00
specialize.rs	Make sure late specializations of opaques inherit Inspect as needed	2023-11-30 22:25:08 -06:00
to_var.rs	various	2023-11-18 23:05:55 +01:00