5 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	6254eeb2ed	add acceptance test 88	2023-08-07 12:02:44 -04:00
KtorZ	2a747305f7	Fixes evaluation of large positive bigint in the UPLC machine ... Fixes #511.	2023-07-05 18:52:14 +02:00