Code

Remove Catlab dependency#131

Code

Closed

KevinDCarlson wants to merge 6 commits intomainAlgebraicJulia/GATlab.jl:mainfrom ka_editsAlgebraicJulia/GATlab.jl:ka_editsCopy head branch name to clipboard

-1

Commits

Commits on Oct 30, 2023

• Trivial docs edits and rename @Migrate

  

  Kevin Arlin

  committed
  bfdafd5

Commits on Nov 8, 2023

• migrate_theory to migrate_model

  

  Kevin Arlin

  committed
  6e4972c

Commits on Nov 16, 2023

• remove spurious catlab dependency

  

  Kevin Arlin

  committed
  2038cb3

• Merge remote-tracking branch 'origin/main' into ka_edits

  

  Kevin Arlin

  committed
  dc5c44b

• remove spurious catlab dependency

  

  Kevin Arlin

  committed
  d81a63e

• Fix merge error

  

  Kevin Arlin

  committed
  90aaf93