3 Commits

Author	SHA1	Message	Date
microproofs	e772ff1787	Missed some zero parameter check	2024-08-29 16:30:30 +02:00
microproofs	c906501836	add one more test	2024-03-08 12:25:26 -05:00
microproofs	ae396c0224	Fix opaque type destructuring in code gen	2024-03-08 00:12:44 -05:00