Code

Basic operator checking#186

Code

Merged

kaleidawave merged 11 commits intomainkaleidawave/ezno:mainfrom operator-checkingkaleidawave/ezno:operator-checkingCopy head branch name to clipboardAug 26, 2024

+2,448-1,215

Commits

Commits on Aug 8, 2024

• WIP Basic operator checking

  Show description for 52d4130
  kaleidawave

  committed
  52d4130

  Copy full SHA for 52d4130

Commits on Aug 22, 2024

• Merge branch 'main' into operator-checking

  kaleidawave

  committed
  fee043e

  Copy full SHA for fee043e

• Disjoint equality

  Show description for 36a0efc
  kaleidawave

  committed
  36a0efc

  Copy full SHA for 36a0efc

• More improvements

  Show description for e1182d0
  kaleidawave

  committed
  e1182d0

  Copy full SHA for e1182d0

Commits on Aug 23, 2024

• Added Range intermediate type

  Show description for c301cb3
  kaleidawave

  committed
  c301cb3

  Copy full SHA for c301cb3

• Rename items in disjoint and subtyping

  kaleidawave

  committed
  817319b

  Copy full SHA for 817319b

Commits on Aug 24, 2024

• More fixes. Up to 335

  Show description for 072f1f5
  kaleidawave

  committed
  072f1f5

  Copy full SHA for 072f1f5

Commits on Aug 25, 2024

• More improvements

  Show description for 6c5653d
  kaleidawave

  committed
  6c5653d

  Copy full SHA for 6c5653d

Commits on Aug 26, 2024

• Merge branch 'main' into operator-checking

  kaleidawave

  committed
  7a68a67

  Copy full SHA for 7a68a67

• Fixes & ranges after + and *

  Show description for beb38f1
  kaleidawave

  committed
  beb38f1

  Copy full SHA for beb38f1

• Fixes

  Show description for 49200fe
  kaleidawave

  committed
  49200fe

  Copy full SHA for 49200fe