IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6,048 opened on May 17, 2024

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (1,637 stars) (511 forks)batch import
Good first issueInternalPlutus Corestatus: triaged

Description

Right now safeEncodeBits act like a C-assertion. Use instead GHC.TypeLits/DataKinds to enforce safety statically.

Contributor guide

Use type-level Nats for `safeEncodeBits` · IntersectMBO/plutus#6048 | Good First Issue