IntersectMBO / IntersectMBO/plutus
Specify PIR and/or TPLC
Open
Internal
Specification
status: triaged
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
[Migrated from PLT-406]
The Plutus Core specification currently deals only with untyped PLC. We should perhaps extend it to include PIR (or conceivably typed Plutus Core) and the translation process to UPLC
Contributor guide
Assessment
This issue has not been assessed yet.