Files

microproofs 42544af799 fix: safe encode bits to check for 2^num_bits <= byte we are encoding

fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding.
It does not...
fix: Debruijn was being converted to NamedDeBruijn incorrectly

2023-06-30 23:06:38 -04:00

src

fix: safe encode bits to check for 2^num_bits <= byte we are encoding

2023-06-30 23:06:38 -04:00

test_data

feat: use Rc for more things, fib_iter runs almost 3 seconds faster now

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

tests

Move program builder to uplc crate

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

Cargo.toml

chore: Release

2023-06-23 19:41:14 -04:00

README.md

chore: readmes in uplc and cli

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

README.md

Untyped Plutus Core

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