Skip to content

Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles#35

Merged
wvhulle merged 7 commits into
mainfrom
copilot/fix-34
Sep 2, 2025
Merged

Replace explicit enumeration with forall quantification and improve naming in river crossing puzzles#35
wvhulle merged 7 commits into
mainfrom
copilot/fix-34

Replace entities_type_a/b with owner/possession throughout codebase

f0b7861
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar