IntersectMBO / IntersectMBO/plutus
Use type-level Nats for `safeEncodeBits`
Open
Good first issue
Internal
Plutus Core
status: triaged
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
Right now `safeEncodeBits` act like a C-`assert`ion. Use instead GHC.TypeLits/DataKinds to enforce safety statically.
Contributor guide
Assessment
This issue has not been assessed yet.