Repository navigation

spruce up the grind interface for FoldingContext - #38

Merged

ElijahVlasov merged 1 commit into

ElijahVlasov/folding-contextfrom

Ferinko/review-folding-context

Aug 6, 2026

Merged

spruce up the grind interface for FoldingContext#38
ElijahVlasov merged 1 commit into
ElijahVlasov/folding-contextfrom
Ferinko/review-folding-context

Commits on Aug 6, 2026
- spruce up the grind interface for FoldingContext
  Ferinko
  committed
  e88e813