Skip to content

Rename wedge and vee to meet and join

a6572cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add meet and join duplicates of and and or #26

Rename wedge and vee to meet and join
a6572cd
Select commit
Loading
Failed to load commit list.
ci
succeeded Jan 23, 2026 in 25s