Code

Generics mini overhaul#798

Code

Merged

MicroProofs merged 1 commit intomainaiken-lang/aiken:mainfrom generic-fix-tuplesaiken-lang/aiken:generic-fix-tuplesCopy head branch name to clipboardJan 13, 2024

+171-62

Commits

Commits on Jan 13, 2024

• fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function.

  Show description for 2c5d020
  MicroProofs

  committed
  2c5d020

  Copy full SHA for 2c5d020