Code

TDDwI: Minor changes to chapter10#3433

Code

Open

sagehane wants to merge 2 commits intoidris-lang:mainidris-lang/Idris2:mainfrom sagehane:tddwisagehane/Idris2:tddwiCopy head branch name to clipboard

+28-20

Commits

Commits on Dec 3, 2024

• TDDwI: Minor changes to chapter10

  sagehane

  committed
  d8bd15d

  Copy full SHA for d8bd15d

Commits on Dec 5, 2024

• Add notes for exercise 2 of chapter 10-2

  sagehane

  committed
  4a8638a

  Copy full SHA for 4a8638a