Code

Specialize Dict's key to ByteArray#81

Code

Merged

MicroProofs merged 7 commits intomainaiken-lang/stdlib:mainfrom specialize-dict-keyaiken-lang/stdlib:specialize-dict-keyCopy head branch name to clipboardMay 4, 2024

+1,018-451

Commits

Commits on Apr 3, 2024

• Specialize Dict's key to ByteArray

  Show description for f02446f
  KtorZ

  committed
  f02446f

Commits on Apr 18, 2024

• Replace occurences of 2-tuples with pairs

  KtorZ

  committed
  2df2aa8

Commits on May 1, 2024

• Define aiken/map interface for Map<key, value>

  Show description for 577a586
  

  MicroProofs

  authored and

  KtorZ

  committed
  577a586

Commits on May 2, 2024

• Rename Map to AList

  MicroProofs

  committed
  c441994

• missed 2 more places

  MicroProofs

  committed
  ccb2e27

• rename function

  MicroProofs

  committed
  d962dca

Commits on May 4, 2024

• finish renaming to alist

  MicroProofs

  committed
  0ae9197