IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6,048 opened on 2024年5月17日

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

説明

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

コントリビューターガイド