microproofs 23a7e7e680 chore: convert acceptance test 5 ... Also constructors with no fields are now converted to a constant data term.		2023-04-19 16:08:55 -04:00
..
lib	chore: convert acceptance test 5	2023-04-19 16:08:55 -04:00
aiken.lock	feat: add trace	2022-12-21 14:39:46 -05:00
aiken.toml	fix acceptance tests manifest.	2022-12-21 14:06:46 +01:00