aiken/examples
microproofs 4838ebd39e feat: record modules are no longer unimplemented for no fields
refactor: remove some clones and use a ref instead
test: add acceptance test 81
2023-05-14 18:30:51 -04:00
..
acceptance_tests feat: record modules are no longer unimplemented for no fields 2023-05-14 18:30:51 -04:00
gift_card chore(gift_card): better input id 2023-04-21 12:07:18 -04:00
hello_world Fix README template for newly generated projects, and hello, world 2023-03-18 22:23:55 +01:00