Repository navigation

Drop the bare true row left at the end of Found - #476

Merged

CatarinaGamboa merged 3 commits into

mainfrom

study-simplify-trues

Nov 4, 2026

Merged

Drop the bare true row left at the end of Found#476
CatarinaGamboa merged 3 commits into
mainfrom
study-simplify-trues

Commits on Nov 4, 2026
- Drop the bare true row left when the last binder is dropped
  
  CatarinaGamboa
  and
  claude
  committed
  7a656f2
- Explain the trailing true rule as a conjunction
  
  CatarinaGamboa
  and
  claude
  committed
  6c948cb
- Keep only the unit tests for the trailing true row
  
  CatarinaGamboa
  and
  claude
  committed
  25ed987