Repository navigation

Define identity/equality operators - #710

Merged

annevk merged 22 commits into

mainfrom

noamr/equality

Oct 5, 2026

Merged

Define identity/equality operators#710
annevk merged 22 commits into
mainfrom
noamr/equality

Commits on Oct 3, 2026
- Define 3 types of equality (identical, equal, equivalent)
  
  noamr
  authored and
  annevk
  committed
  cb01e57
- grammar
  
  noamr
  authored and
  annevk
  committed
  5b18dfe
- grammar
  
  noamr
  authored and
  annevk
  committed
  be7bd3c
- Remove equivalent for now
  
  noamr
  authored and
  annevk
  committed
  48e9fcc
- whitespace
  
  noamr
  authored and
  annevk
  committed
  42477d5
- whitespace
  
  noamr
  authored and
  annevk
  committed
  435eb11
- Fix missing newlline
  
  noamr
  authored and
  annevk
  committed
  12f72af
- Remove extra set equality
  
  noamr
  authored and
  annevk
  committed
  be56838
- Update infra.bs
  
  authored and
  annevk
  committed
  74808e6
- Assert when cyclical references found
  
  noamr
  authored and
  annevk
  committed
  5955651
- a/an
  
  noamr
  authored and
  annevk
  committed
  755e594
- Make equality context more private
  
  noamr
  authored and
  annevk
  committed
  733eb53
- Make equality context private
  
  noamr
  authored and
  annevk
  committed
  3e9fa07
- Remove end tags
  
  noamr
  authored and
  annevk
  committed
  8af55d8
- Fix some nits
  
  noamr
  authored and
  annevk
  committed
  285308f
- Fix some AI-found nits
  
  noamr
  authored and
  annevk
  committed
  685fd0d
- Fix DAG vs cycle detection in equal algorithm
  
  noamr
  authored and
  annevk
  committed
  0ea2bf4
- nit
  
  noamr
  authored and
  annevk
  committed
  04f782c
- Style nits
  
  noamr
  authored and
  annevk
  committed
  dab8cae
- nit
  
  noamr
  authored and
  annevk
  committed
  9e7c905
Commits on Oct 4, 2026
- Rework identity and equality definitions
  annevk
  committed
  411c455
Commits on Oct 5, 2026
- move equality up
  annevk
  committed
  d085f13

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 5, 2026