4 Commits

Author	SHA1	Message	Date
microproofs	eb0b4dd6d8	update lock files	2023-09-25 21:16:19 -04:00
microproofs	b8737a1021	add one more test for unbound generics	2023-09-25 21:16:19 -04:00
rvcas	bc0824f4eb	chore: new aiken.lock files for examples	2023-09-13 18:17:40 -04:00
microproofs	dbfa08a5a7	fix: issue with tuple clause ... It was not consuming the next case if there was no condition being checked in the clause. Now it properly always consumes the next clause unless last clause.	2023-06-23 12:36:15 -04:00