IntersectMBO/plutus

MultiApply and MultiAbs

Open

#6,139 opened on May 24, 2024

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

Description

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

Contributor guide

Tech stack
None
Domain
blockchain
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
Plutus Core conceptsLambda calculus basicsHaskell basics
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
20
Research direction
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.