Code

Updates for 2022.7 release#10

Code

Merged

Aurel300 merged 7 commits intomasterviperproject/tutorial:masterfrom tutorial-updates-2022viperproject/tutorial:tutorial-updates-2022Copy head branch name to clipboardJul 29, 2022

+145-14

Commits

Commits on Jul 14, 2022

• document maps

  Aurel300

  committed
  8b5bbb7

Commits on Jul 15, 2022

• refute statement

  Aurel300

  committed
  9a19453

• only push builds from master branch

  Aurel300

  committed
  7d10b6a

• ADT initial

  Aurel300

  committed
  fbc19a4

Commits on Jul 18, 2022

• ADT derives

  Aurel300

  committed
  bb97618

• document typed fapp

  Aurel300

  committed
  a6f6539

Commits on Jul 29, 2022

• impure assume

  Aurel300

  committed
  831c58e