haskledger

A type-safe Haskell eDSL for writing Cardano smart contracts. Features operator overloading, native integer literals, composable abstractions over Plutus Data encoding, and a multi-stage compilation pipeline to UPLC via Covenant IR and c2uplc.