Files

microproofs 2bc433f61e fix: need to use temp_term for counting var occurrences in identity reducer

chore: Adding more shrinker tests and fixed some of the existing ones

2024-03-05 12:08:18 -05:00

2024-03-05 12:08:18 -05:00

2024-02-20 13:05:28 -05:00

2024-02-20 13:05:28 -05:00

Cargo.toml

chore: Release

2024-01-31 13:48:20 -05: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.