Sam Mohr 8e5d875604 Merge branch 'main' into auto-snake-case		2025-01-08 01:51:12 -08:00
..
ability	Fix tests	2025-01-07 14:01:03 -08:00
exhaustive	fix openness inference for empty tag	2024-07-06 16:29:10 +02:00
instantiate	Fix more tests	2023-08-10 22:24:24 -04:00
lambda_set	More progress	2025-01-05 05:16:47 -08:00
oiop
pattern	Correctly introduce new openness variables at the union rank	2023-05-01 13:14:58 -05:00
ranged
record
recursion	Merge branch 'main' into auto-snake-case	2025-01-08 01:51:12 -08:00
recursive_type	Add Task as a built-in module/type	2024-06-25 00:03:56 -07:00
solve	More progress	2025-01-05 05:16:47 -08:00
specialize	Merge attempt	2024-08-19 23:34:05 -07:00
weaken