Code

Try reflection again#6716

Code

Draft

ana-pantilie wants to merge 2 commits intomasterIntersectMBO/plutus:masterfrom ana/try-reflection-againIntersectMBO/plutus:ana/try-reflection-againCopy head branch name to clipboard

+79-2

Commits

Commits on Nov 25, 2024

• Try Agda Reflection again

  ana-pantilie

  committed
  5f50299

  Copy full SHA for 5f50299

Commits on Nov 26, 2024

• Manual Pointwise instance breaks meta

  ana-pantilie

  committed
  a743213

  Copy full SHA for a743213