Repository navigation

FreeSemigroup: migrate plain nonempty pair carriers - #10917

Closed

gunbai-bot[bot] wants to merge 1 commit into

mainfrom

session/bold-lynx-189-fs-defork

Closed

FreeSemigroup: migrate plain nonempty pair carriers#10917
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/bold-lynx-189-fs-defork

Commits on Sep 10, 2026
- Migrate plain nonempty {head,tail}/{first,rest} carriers onto FreeSemigroup.
  
  Brian Searls
  and
  cursoragent
  committed
  af43bcc