microproofs 394cac86b8 feat: expect on a type now can take in a msg when in trace mode		2024-01-04 16:03:51 -05:00
..
validators	feat(codegen): support multi-validators	2023-03-17 18:40:44 -04:00
aiken.lock	chore: new aiken.lock files for examples	2023-09-13 18:17:40 -04:00
aiken.toml	Parse tests as private functions.	2023-01-20 12:50:07 +01:00
plutus.json	feat: expect on a type now can take in a msg when in trace mode	2024-01-04 16:03:51 -05:00