Code

remove the tuple unpacking code#1210

Code

Merged

konnov merged 4 commits intomaininformalsystems/quint:mainfrom igor/apres-tuple-unpackinginformalsystems/quint:igor/apres-tuple-unpackingCopy head branch name to clipboardOct 10, 2023

+69-82

Commits

Commits on Oct 9, 2023

• remove the tuple unpacking code

  konnov

  committed
  2a7c58d

• update the language manual

  konnov

  committed
  472e1a1

• fix formatting

  konnov

  committed
  5b0ef9b

Commits on Oct 10, 2023

• Update doc/lang.md

  Show description for 440758c
  

  konnov

  and

  thpani

  authored
  440758c