5 Commits

Author	SHA1	Message	Date
microproofs	f1cfc84e67	Fix tree traversal node selection for a few of the enum variants	2024-06-25 18:50:00 -04:00
microproofs	3d06129d9b	add test for curry optimization that is a reduced case of #945	2024-05-22 15:46:32 -04:00
KtorZ	6d7b851c70	Fix 077 after yet-another-breaking-change in stdlib.	2024-05-10 19:05:00 +02:00
microproofs	0e9baf4944	test should fail	2024-05-06 11:35:55 -04:00
microproofs	2f61f59b60	Closes #909	2024-05-06 11:35:05 -04:00