Good first issueInternalstatus: triaged
Repository metrics
- Stars
- (1,637 stars)
- PR merge metrics
- (Avg merge 6d 1h) (15 merged PRs in 30d)
Description
Represent terms with multiple Apply or multiple LamAbs at the top. See https://github.com/IntersectMBO/plutus/pull/5799#discussion_r1525485133