Repository navigation

tokenize §1.8: dissolve lex_match_pattern into fold_lex_pattern<LexMatchThunk> catamorphism (Class-B proof) - #4701

Merged

briansrls merged 13 commits into

mainfrom

session/silent-moth-699

Jun 12, 2026

Merged

tokenize §1.8: dissolve lex_match_pattern into fold_lex_pattern<LexMatchThunk> catamorphism (Class-B proof)#4701
briansrls merged 13 commits into
mainfrom
session/silent-moth-699

Commits on Jun 11, 2026
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  acc6790
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  c8bc3c4
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  a3d1d90
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  9cce3db
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  7e9f30e
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  64964ea
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  ae18d57
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  57ff719
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  40b28f5
- Merge remote-tracking branch 'origin/main' into session/silent-moth-699
  Brian Searls
  committed
  1837e7c
Commits on Jun 12, 2026
- WIP: Proof §1.7: confirm 02_parse is already grammar-generic (fold_grammar_ex
  Brian Searls
  committed
  8a0d709
- Merge origin/main: resolve lexing.dag conflict (fold + node projection both additive)
  
  Brian Searls
  and
  claude
  committed
  a6056df
- Merge remote-tracking branch 'origin/main' into session/silent-moth-699
  Brian Searls
  committed
  8a599bf

Commits

Commits on Jun 11, 2026

Commits on Jun 12, 2026