Files

microproofs 09a6ea51d6 feat(machine): reduce term allocations

* remove term from VBuiltin
* and also means we don't need the useless wrapping

Co-authored-by: Lucas Rosa <x@rvcas.dev>

2023-04-13 01:28:27 -04:00

2023-04-13 01:28:27 -04:00

2023-02-01 18:53:11 -05:00

2022-06-29 14:02:57 -04:00

Cargo.toml

2023-03-30 21:15:27 -04:00

README.md

2022-06-18 23:15:05 -04:00

Untyped Plutus Core

A crate for working with untyped plutus core. It handles parsing, conversion between various forms, and flat encoding/decoding.