Repository navigation

feat(Composition): add the chapter from CSwFP/7.1–7.6 - #44

Merged

arademaker merged 21 commits into

mainfrom

feat/composition

Nov 4, 2026

Merged

feat(Composition): add the chapter from CSwFP/7.1–7.6#44
arademaker merged 21 commits into
mainfrom
feat/composition

Commits on Oct 19, 2026
Commits on Oct 20, 2026
- style(PL): separate Formula.impl and Formula.iff with a blank line
  arademaker
  committed
  11bfac9
- refactor(Composition): write the chapter terse first
  arademaker
  committed
  b143f62
Commits on Oct 21, 2026
- feat(Composition): add quantifier conditions, numerical trees and logical representations
  arademaker
  committed
  2525872
Commits on Oct 23, 2026
Commits on Oct 26, 2026
Commits on Oct 29, 2026
- refactor(Composition): defer CSwFP 7.7
  arademaker
  committed
  221eeb9
Commits on Nov 4, 2026
- fix(Composition): address review of the composition chapter
  arademaker
  committed
  239c056