Code

PNatural#791

Code

Open

kozross wants to merge 5 commits intostagingPlutonomicon/plutarch-plutus:stagingfrom koz/pnaturalPlutonomicon/plutarch-plutus:koz/pnaturalCopy head branch name to clipboard

+176-16

Commits

Commits on Dec 17, 2024

• PNatural

  kozross

  committed
  752ac7a

Commits on Dec 18, 2024

• Numerical instances for PNatural

  kozross

  committed
  200f8ee

• Add pscaleNatural, ppowNatural, supplement instances

  kozross

  committed
  bbc9fd6

Commits on Dec 19, 2024

• Merge branch 'staging' into koz/pnatural

  kozross

  committed
  b31ee71

• Use punsafeCoerce less

  kozross

  committed
  cc48d55