2 Commits

Author	SHA1	Message	Date
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