Code

Add operator name canonicalization#54

Code

Open

GeorgeR227 wants to merge 15 commits intomainAlgebraicJulia/DiagrammaticEquations.jl:mainfrom gr/canon-namesAlgebraicJulia/DiagrammaticEquations.jl:gr/canon-namesCopy head branch name to clipboard

+1,288-230

Commits

Commits on Jun 25, 2024

• Added lookup table

  Show description for 25a52e1
  GeorgeR227

  committed
  25a52e1

• Added canon name to op1 infer

  Show description for 7f6a3f7
  GeorgeR227

  committed
  7f6a3f7

Commits on Jun 26, 2024

• Added tests for op1 canon infer

  Show description for bc13754
  GeorgeR227

  committed
  bc13754

• Starting support for overloading

  Show description for 8605f8a
  GeorgeR227

  committed
  8605f8a

• Typing now respects typed ops

  Show description for 510619a
  GeorgeR227

  committed
  510619a

• More tests for canon overloading

  Show description for 8a845df
  GeorgeR227

  committed
  8a845df

Commits on Jun 27, 2024

• Added support for canon op2

  Show description for 94a0428
  GeorgeR227

  committed
  94a0428

• Added tests for wedge

  GeorgeR227

  committed
  c13c537

Commits on Jun 28, 2024

• More tests for op2

  GeorgeR227

  committed
  d8ef661

• Tests user typed op2s respected

  GeorgeR227

  committed
  d8f6182

• Nicer name resolving

  Show description for 21e0d4e
  GeorgeR227

  committed
  21e0d4e

• Move tests to own file

  Show description for 003e8af
  GeorgeR227

  committed
  003e8af

• Add some dev instructions

  Show description for e1fa772
  GeorgeR227

  committed
  e1fa772

Commits on Jul 1, 2024

• Remove old rules

  GeorgeR227

  committed
  97a4759

Commits on Jul 9, 2024

• Add Unicode operators into new dictionary scheme

  lukem12345

  committed
  df5d2c5