Repository navigation

R3 gate #12: tc2 church rosser executable - #2598

Merged

briansrls merged 12 commits into

mainfrom

session/quick-heron-68

May 10, 2026

Commits on May 10, 2026
- WIP: R3 gate #12: tc2 church rosser executable
  briansrls
  committed
  bef6922
- WIP: R3 gate #12: tc2 church rosser executable
  briansrls
  committed
  f0855b3
- test(v3): expect Pass for tc2_church_rosser_executable strict-fire suite
  
  briansrls
  and
  cursoragent
  committed
  b655c54
- chore: apply cargo fmt (test_runner import order / wrap)
  
  briansrls
  and
  cursoragent
  committed
  4275bae
- Merge remote-tracking branch 'origin/main' into session/quick-heron-68
  briansrls
  committed
  5b80e1d
- WIP: R3 gate #12: tc2 church rosser executable
  briansrls
  committed
  ba0b6eb
- Merge remote-tracking branch 'origin/main' into session/quick-heron-68
  briansrls
  committed
  ca640c7
- WIP: R3 gate #12: tc2 church rosser executable
  briansrls
  committed
  4cd8c5b
- Merge remote-tracking branch 'origin/main' into session/quick-heron-68
  briansrls
  committed
  ef2481d
- Merge remote-tracking branch 'origin/main' into session/quick-heron-68
  briansrls
  committed
  adfc2e1
- WIP: R3 gate #12: tc2 church rosser executable
  briansrls
  committed
  6061e47
- Merge remote-tracking branch 'origin/main' into session/quick-heron-68
  briansrls
  committed
  472db3c