Files

microproofs c3eab4cc2a chore: fix up when tuple deconstruction test

add inline test for optimization tests
add some more builder functions

2023-05-11 18:06:46 -04:00

2023-05-11 18:06:46 -04:00

2023-04-20 16:49:45 +02:00

Cargo.toml

chore: Release

2023-05-09 23:16:59 -04:00

README.md

2022-12-21 18:11:07 -05:00

Project

This crate encapsulates the code used to manage Aiken projects. See crates/cli for usage.