Repository navigation

refactor(pl): rcond and rmatch as program transformations - #1173

Open

strub wants to merge 1 commit into

pl/transformfrom

Commits on Oct 8, 2026
- refactor(pl): rcond and rmatch as program transformations
  strub
  committed
  e36b682