IntersectMBO/plutus

MultiApply and MultiAbs

Open

Aperta il 24 mag 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (1637 star) (511 fork)batch import
Good first issueInternalstatus: triaged

Descrizione

Represent terms with multiple Apply or multiple LamAbs at the top. See https://github.com/IntersectMBO/plutus/pull/5799#discussion_r1525485133

Guida contributor

Tech stack
Nessuno
Dominio
blockchain
Tipo issue
feature
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 days
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
stale
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
mostly clear
Prerequisiti
Plutus Core conceptsLambda calculus basicsHaskell basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20
Direzione di ricerca
Review the linked discussion in PR #5799 for context. Explore the current term representation in the Plutus core codebase, likely in files like 'PlutusCore/Core/Type.hs'. Determine the desired representation changes and implement constructors for multi apply and multi abs.