Code

Fix typo of constant in knapsack.tla.#14

Code

Open

isislovecruft wants to merge 1 commit intoApress:masterApress/practical-tla-plus:masterfrom isislovecruft:masterisislovecruft/practical-tla-plus:masterCopy head branch name to clipboard

+1-1

Commits

Commits on Dec 3, 2020

• Fix typo of constant in knapsack.tla.

  isislovecruft

  committed
  9b259bc

  Copy full SHA for 9b259bc