Code

Skip check-satisfied in stepper#239

Code

Merged

shhyou merged 2 commits intoracket:masterracket/htdp:masterfrom shhyou:skip-check-satisfiedshhyou/htdp:skip-check-satisfiedCopy head branch name to clipboardDec 30, 2024

+52-11

Commits

Commits on Dec 20, 2024

• Skip check-satisfied in stepper

  shhyou

  committed
  9f3bee7

  Copy full SHA for 9f3bee7

Commits on Dec 21, 2024

• Test the stepper with check-satisfied

  shhyou

  committed
  82aca57

  Copy full SHA for 82aca57