microproofs 72059eacee Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions		2024-08-08 19:36:16 -04:00
..
lib	fix(codegen): Add tracing when checking for a constr vs another primitive	2024-03-17 16:25:17 -04:00
aiken.lock	Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions	2024-08-08 19:36:16 -04:00
aiken.toml	fix(codegen): Add tracing when checking for a constr vs another primitive	2024-03-17 16:25:17 -04:00
plutus.json	Run acceptance tests	2024-08-08 00:39:44 -04:00